OKullmann/oklibrary — pull request #443 by MGwynne (2013-06-07 13:39:52+00:00)
Title: Cryptominisat 3.2

Branch: cryptominisat-3.2.

Adding cryptominisat-3.2, now shared targets (i.e., cryptominisat base directories) being used directly rather than replicated and with separate cleanallcryptominisat2 and cleanallcryptominisat3 targets for clean-up.

Matthew