/MaxHS

MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus

Primary LanguageC++OtherNOASSERTION

Issues