A fast and robust MaxSAT solver

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

Archive

Latest Version

MaxHS-3.2.zip

MaxHS-3.2.tar.gz

Git Repository

From the repository you can download the older versions of MaxHS. From the repository you will also be able to access intermediate updates between releases.

https://github.com/fbacchus/MaxHS