A fast and robust MaxSAT solver

Latest News
  • MaxHS is open source.  (Oct 24, 2014)
  • MaxHS v2.9 now available.  (Feb 10, 2016)


MaxHS is a fast solver for a variety of optimization problems.


Extends the capabilities of SAT and MIP solvers by exploiting both technologies in a hybrid manner.

MaxHS solves problems that are out of reach for both SAT solvers and MIP solvers.

MaxSAT Representation

Represent your optimization problem in propositional logic.

MaxSAT allows weighted clauses. MaxHS tries to find a model that maximizes the weight of satisfied clauses.


MaxSAT can naturally represent a range of optimization problems.

Use propositional variables to define properties of your domain. Express the optimization problem in terms of these properties.