A fast and robust MaxSAT solver
Archive
From the repository you can download the older versions of MaxHS. (Check the git tags).