msoos/cryptominisat — pull request #196 by malb (2014-06-28 01:17:09+00:00)
Title: updated autotools project

It now compiles cryptominisat_simple (or should we use the same name?), supports --enable-stats and checks for libz.