A fast and robust MaxSAT solver

Latest News
  • MaxHS 2021 and 2020 Evaluation versions now available.  (Jan 12th 2022))


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.