Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Cosette: An Automated SQL Solver.
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/
There are no comments on this comment yet.
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/