Skip to content

CryptoMiniSat 5.8.0
Compare
Choose a tag to compare
@msoos msoos released this 06 Jul 21:52
· 2094 commits to master since this release
5.8.0
6477e8b

Massive new release! Many-many improvements:

  • Gauss-Jordan elimination is enabled by default
  • Target Phases ("Stable Polarities") are used
  • CCAnr SLS solver is enabled and is set to work by default
  • Hybrid variable branching heuristics
  • Many-many speed improvements
  • Better DIMACS parsing to work for other systems
  • Made to work with new ApproxMC and UniGen
Assets 4