UCSD-PL/algorithmic-software-verification — pull request #1 by abakst (2013-03-08 01:48:44+00:00)
Title: Add a thing

Craig interpolation? Probably part of one of the above topics like SMT.