OKullmann/oklibrary — pull request #431 by MGwynne (2013-04-28 13:53:46+00:00)
Title: Crypto extraction

Branch: crypto_extraction.

Corrections to cryptominisat extraction scripts.

Matthew