A SAT-IP Hybrid MaxSAT solver
Home Page:https://www.cs.helsinki.fi/group/coreo/lmhs/
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool