Releases: msoos/cryptominisat
Releases · msoos/cryptominisat
CryptoMiniSat 5.13.0
A lot of updates thanks to new Arjun
CryptoMiniSat 5.12.1
Fixing bug wit independent support. Now --onlyindep is no longer needed, it's default and is no longer supported. If you need to run without independent support, simply delete all c ind .. and c p show ... lines in your CNF.
CryptoMiniSat 5.11.22
Fixed a number of small, but annoying bugs.
CryptoMiniSat 5.11.21
New release that disables the possibility of including experimental libraries.
CryptoMiniSat 5.11.20
New release with new build system that does not need boost
CryptoMiniSat 5.11.15
Fixing Windows build that was broken due to picosat.
CryptoMiniSat 5.11.14
A new release to fix issues with pycryptominisat.
CryptoMiniSat 5.11.12
New, minor fix release
CryptoMiniSat 5.11.11
Python interface update, some minor updates to preprocessing.
CryptoMiniSat 5.11.4
Fixing python package's msolve function