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

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

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

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.

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).

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.