Cosette is an automated SQL solver. - View it on GitHub