Skip to content

Release 1.9.2
Compare
Choose a tag to compare
@arminbiere arminbiere released this 17 Dec 16:16
· 83 commits to master since this release
rel-1.9.2
ac48dd6

Version 1.9.2

  • Important fixes for ILB, trail-reuse and external propagation with
    assumptions.

  • Restored effectiveness of Mobical and improved external mock
    propagator.

  • Forced garbage collection of binary clauses before restore.

  • Merge internal status and state encodings and made them consistent.

  • Disabled non-verbose message if empty clause found in input.

  • Improved support for IDRUP.

Assets 2
Loading