OKullmann/oklibrary — pull request #429 by MGwynne (2013-04-22 18:44:48+00:00)
Title: Cryptominisat 3.1

Branch: cryptominisat-3.1.

Adding cryptominisat-3.1.

Matthew