warthog-logic/warthog — pull request #4 by rwalter (2012-06-14 08:16:09+00:00)
Title: Extended interface of JPicosat and Picosat to extract unsat core clauses and more

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.