Cosette

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 514 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