Cosette is an automated SQL solver powered by Coq and Rosette. - View it on GitHub