open-wbo-inc

Open-WBO-Inc Incomplete MaxSAT Solver

A MaxSAT solver tailored to the incomplete MaxSAT problem