Today we are thrilled to announce our official 1.0 release of Cosette, a SQL solver for automatically checking semantic…
