OKullmann/oklibrary — pull request #438 by MGwynne (2013-05-21 10:52:12+00:00)
Title: Cryptominisat 3.2

Branch: cryptominisat-3.2.

Adding cryptominisat-3.2 target.

I will send the archive for cryptominisat-3.2 and M4RI in an e-mail.

Matthew