Cosette

Note: this repo is now deprecated. Check out our new QED solver!

Cosette is a language, and an automated solver for reasoning SQL equivalences.

This project is in active development. Shoot us a message (cosette@cs.washington.edu) or create an issue if you find something doesn't work!

Name	Name	Last commit message	Last commit date
Latest commit History 542 Commits
dsl	dsl
examples	examples
hott	hott
rosette	rosette
uexp	uexp
.gitignore	.gitignore
.travis.yml	.travis.yml
Dockerfile	Dockerfile
FrontendDockerFile	FrontendDockerFile
LICENSE.txt	LICENSE.txt
README.md	README.md
__init__.py	__init__.py
analyze_result.py	analyze_result.py
coq_solve.sh	coq_solve.sh
gen_cos_files.py	gen_cos_files.py
init_docker.sh	init_docker.sh
manual_test.py	manual_test.py
rosette_solve.sh	rosette_solve.sh
run_calcite_examples.py	run_calcite_examples.py
run_ros_only.py	run_ros_only.py
solver.py	solver.py
solver_test.py	solver_test.py
test_in_docker.sh	test_in_docker.sh

Provide feedback