Cosette

SQL query equivalence checking made simple.