Cosette

Cosette

https://github.com/uwdb/Cosette

Lean642

2 years ago

Reviews

Cosette is an automated SQL solver.

Search similar apps

License

BSD 2-Clause "Simplified" License

Share

Cosette is an automated SQL solver.

Creator

uwdb

Related apps