A fast and robust MaxSAT solver

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

Archive

Latest Version

MaxHS_2021_eval.zip

MaxHS_2021_eval.tar.gz

Git Repository

From the repository you can download the older versions of MaxHS. (Check the git tags).

https://github.com/fbacchus/MaxHS