A fast and robust MaxSAT solver

Latest News
  • MaxHS v3.0 now available.  (June 13, 2017)


MaxHS solves Weighted Partial MaxSat problems.

Weighted Partial MaxSat

MaxHS accepts any of the four classes of MaxSat problems including the most general weighted partial class. Unlike most other MaxSat solvers MaxHS can accept floating point weights.

MaxSAT Representation

Represent your optimization problem as a set of soft and hard clauses. The soft clauses can have weights.

MaxHS takes its input in WDIMACS format as used by the MaxSat Evauations. Click here for a specification of the format.

The run command is
./maxhs input_wdimacs_file