Skip to content

CryptoMiniSat 5.6.5
Compare
Choose a tag to compare
@msoos msoos released this 04 Sep 21:28
· 4904 commits to master since this release
5.6.5
f9cdd94

This release has a set of interesting improvements:

  • Much reduced startup time thanks to @mbargull and the Conda development team
  • Improved CNF dumping interface thanks to @janmazak
  • compilation issue fixes thanks to @videlec
  • some fixes to the fuzzing and testing systems

All in all, it's a more refined solver, with few internal changes. It's a lot faster to start up (about 2x as fast!) and it has more full-featured API interface.

Assets 4
Loading