el-devo/SAT — pull request #2 by el-devo (2014-05-05 05:21:19+00:00)
Title: Two watch literal scheme

The two watch literal scheme branch now significantly outperforms the old version for all but the most trivial problems.