Cosette

Cosette is a langague 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 221 Commits
dsl		dsl
examples		examples
hott		hott
rosette		rosette
.gitignore		.gitignore
.travis.yml		.travis.yml
Dockerfile		Dockerfile
FrontendDockerFile		FrontendDockerFile
README.md		README.md
__init__.py		__init__.py
coq_solve.sh		coq_solve.sh
rosette_solve.sh		rosette_solve.sh
solver.py		solver.py
solver_test.py		solver_test.py

Provide feedback