A fast and robust MaxSAT solver

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


MaxHS News

MaxHS v3.2 now available

June 13, 2017

This the version that was entered in the 2019 MaxSat Evaluation.

MaxHS v3.0 now available

June 13, 2017

This is a cleaned up version of the version that placed first in the two weighted categories of the 2016 MaxSat Evaluation. It provides a significant boost in performance over V2.9.

MaxHS v2.9 now available

Feb 10, 2016

This is a slight change to the version of MaxHS that was entered into the 2015 MaxSat evaluation. (There is a change to the default parameter settings that performs slightly better on average).

MaxHS is open source

October 29, 2014

The latest release of MaxHS is now available for download. Also available in the repository are the earlier versions of MaxHS that were entered in the 2013 and 2014 MaxSAT Evaluations.