Cosette

Note: we are busy developing Cosette 2.0, any feature request on Cosette 1.0 will not be considered.

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 538 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
solver.py		solver.py
solver_test.py		solver_test.py
test_in_docker.sh		test_in_docker.sh

Provide feedback