Home My Page Projects CryptoMiniSat
Summary Activity Lists Files

Project description

CryptoMiniSat is a state-of-the-art SAT solver incorporating many ideas. For a list, please visit http://www.msoos.org/2013/04/cryptominisat-3-0-released/

The source is available on github: https://github.com/msoos/cryptominisat

Latest File Releases
Package Version Date Notes Download
cryptominisat 2.9.9 2014-02-18 cryptominisat - Release Notes cryptominisat 2.9.9 - Download