OKullmann/oklibrary — pull request #427 by MGwynne (2013-04-21 08:58:38+00:00)
Title: Updating to cryptominisat 2.9.6.

Branch: crypto_2.9.6_install.

Updating to cryptominisat 2.9.6.

Matthew