OKullmann/oklibrary — pull request #430 by MGwynne (2013-04-26 15:31:00+00:00)
Title: Adding extraction script for cryptominisat.

Branch: crypto_extraction.

Adding extraction script for cryptominisat.

Matthew