Skip to content

uwdb/Cosette

Folders and files

NameName
Last commit message
Last commit date

Latest commit

7a951aa · Dec 18, 2024
May 4, 2018
Apr 12, 2018
Oct 26, 2017
Apr 5, 2019
Jun 28, 2018
Jan 20, 2017
Jun 3, 2017
Feb 16, 2017
Nov 11, 2018
Jul 27, 2017
Dec 18, 2024
May 1, 2017
Oct 20, 2017
Apr 30, 2017
Oct 16, 2017
Apr 23, 2018
Apr 27, 2018
Apr 30, 2017
Oct 16, 2017
Apr 4, 2019
Apr 23, 2018
Apr 12, 2018
Nov 6, 2017

Repository files navigation

Gitter chat Build Status

Cosette

Note: this repo is now deprecated. Check out our new QED solver!

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!