vuphan314 / maxhs Goto Github PK
View Code? Open in Web Editor NEWThis project forked from fbacchus/maxhs
Fork of MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus
Home Page: https://github.com/fbacchus/MaxHS
License: Other