@msoos msoos released this Mar 14, 2016 · 9534 commits to master since this release

Assets 2

This maintenance release is to fix a bug in the Gaussian Elimination code that could trigger in some situations. Do not use this version of CryptoMiniSat unless you must use version 2 for some reason. Everything that version 2 can do version 4.5 and above can do too.