Show API Key

Cosette

Cosette is an automated solver for checking equivalences of SQL queries. Check out the Cosette Guide on how to use Cosette. Your star and feedback are appreciated!

Star Issue
Example: Hello World Example: Join Elimination Example: Disjunct. Select 1 Example: Disjunct. Select 2 Example: Conjuctive Select Example: Common Exp. Elim. Example: Count Bug. Example: CSE344 Exam. Example: Selection Distr. Over Union. Example: Join Commute Example: Join Proj. Trans.

Back to Cosette Website