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 ([email protected]) 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