warthog-logic / warthog

A Logic Framework in Scala
16 stars 5 forks source link

Extended interface of JPicosat and Picosat to extract unsat core clauses and more #4

Closed ghost closed 12 years ago

ghost commented 12 years ago

The extended Picosat interface is necessary for MaxSAT Solver based on SAT Solving with unsat cores, like in "Solving (Weighted) Partial MaxSAT through Satisfiability Testing", Figure 1.