Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on The Z3 Theorem Prover released under MIT license. Parent comment
http://web.ist.utl.pt/nuno.lopes/pubs.php?id=alive-pldi15
https://github.com/nunoplopes/alive
http://blog.regehr.org/archives/1170
There are no comments on this comment yet.
http://web.ist.utl.pt/nuno.lopes/pubs.php?id=alive-pldi15
https://github.com/nunoplopes/alive
http://blog.regehr.org/archives/1170