A fast and robust MaxSAT solver

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

Archive

Latest Version

MaxHS-3.0.tar.gz

MaxHS-3.0.zip

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