Skip to content
Choose a tag to compare

CryptoMiniSat 5.8.0

@msoos msoos released this
· 1464 commits to master since this release
Choose a tag to compare

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