Cosette: An Automated SQL Solver Posted by LaPrometheus on Wednesday July 19, 2017 @10:27AM from the medium.com dept. https://medium.com/@uwdb/introducing-cosette-527898504bd6 ( 1 comment | 16 points | on HN )
I like the idea of an automated prover and an SMT solver running concurrently, one looking for a proof and the other for a counter example.
[1] http://cosette.cs.washington.edu/