OKullmann/oklibrary — pull request #441 by MGwynne (2013-06-01 12:06:40+00:00)
Title: Cryptominisat 3.2

Branch: cryptominisat-3.2-corrected.

Adding cryptominisat-3.2. Now with m4ri in the same directory as cryptominisat3.

Matthew