Cosette: An Automated Prover for SQL
Data generation for testing and grading SQL queries