A fast and robust MaxSAT solver
MaxHS is a fast solver for a variety of optimization problems.
Hybrid
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.
Generality
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.