- Notifications
You must be signed in to change notification settings - Fork55
Cosette is an automated SQL solver.
License
NotificationsYou must be signed in to change notification settings
uwdb/Cosette
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
Note: this repo is now deprecated. Check out our newQED solver!
Cosette is a language, and an automated solver for reasoning SQL equivalences.
- ReadIntroducing Cosette
- Seethe Cosette Guide to see how to use Cosette
- Try Cosetteonline demo
- Check out cosettewebsite 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!
About
Cosette is an automated SQL solver.
Topics
Resources
License
Stars
Watchers
Forks
Packages0
No packages published