OKullmann/oklibrary — pull request #442 by MGwynne (2013-06-04 14:33:46+00:00)
Title: Cryptominisat 3.2

Branch: cryptominisat-3.2.

Adding cryptominisat-3.2.

Now correcting placement of M4RI md5sum, adding missing "postconditions" and ensuring all top-level installation directories for M4RI refer to cryptominisat3 variables, which then refer to cryptominisat.

Matthew