MaxHS: a Maxsat solver based on the hybrid use of SAT and MIPS. Developed by Jessica Davies and Fahiem Bacchus