Skip to content

CryptoMiniSat 4.5.3
Compare
Choose a tag to compare
@msoos msoos released this 27 Aug 00:47
· 9328 commits to master since this release
4.5.3
c2a5e13

Fixes in this release:

  • Occurrence lists were incorrectly updated in xor and gate finder.
  • Final binaries are now called cryptominisat4 and cryptominisat4_simple
  • python package now has correct version
  • CPP header now contains version information in #define-s
Assets 3
Loading