Skip to content

MaxHS V3.2
Compare
Choose a tag to compare
@fbacchus fbacchus released this 09 Mar 23:00
· 3 commits to master since this release
v3.2
415a6e2

MaxHS version that was entered into the 2019 Maxsat evaluation. Its main feature changes are
a) updated handling of assumptions in minisat following
Randy Hickey, Fahiem Bacchus:
Speeding Up Assumption-Based SAT. SAT 2019: 164-182

b) option for using glucose as the underlying sat solver.

Assets 2
Loading