MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus
Primary LanguageC++OtherNOASSERTION