Skip to content

v1.6.0
Compare
Choose a tag to compare
@czengler czengler released this 01 Sep 09:32
· 360 commits to master since this release
v1.6.0
73359fd

Added

  • A new method for generating CNFs directly on the solver instead of using the formula factory. This often leads to a faster generation and reduced Heap
    consumption but with the
    loss of caching
  • The current formula on a MiniSat-based solver can be extracted

Changed

  • The standard MiniSat-based solvers can now directly efficiently compute a backone. No extra solver is required anymore
  • BDD factory can now be extended externally
Assets 6
Loading