https://github.com/uwdb/Cosette
Lean666
3 years ago
Cosette is an automated SQL solver.
BSD 2-Clause "Simplified" License