incomplete-maxsat

Open-WBO-Inc Incomplete MaxSAT Solver

A MaxSAT solver tailored to the incomplete MaxSAT problem