Note: this repo is now deprecated. Check out our new QED solver!
Cosette is a language, and an automated solver for reasoning SQL equivalences.
- Read Introducing Cosette
- See the Cosette Guide to see how to use Cosette
- Try Cosette online demo
- Check out cosette website for research papers about Cosette
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!