Public | Automated Build

Last pushed: 8 days ago
Short Description
Cosette Docker Image
Full Description


Cosette

Cosette is a language, 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!

Docker Pull Command
Owner
shumo
Source Repository