MaxHS version 2.8. Hybrid SAT/IP approach to maxsat solving.
Jessica Davies and Fahiem Bacchus
www.maxhs.org