@msoos msoos released this Sep 10, 2016 · 2730 commits to master since this release

Assets 2

New release of CryptoMiniSat, now with MIT license! There are also a few minor improvements.

The reason for this release is to make it easy for anyone to use the solver. I essentially wish to give back to the community and let anyone use the solver for whatever reason they like.