solver

Open-WBO-Inc Incomplete MaxSAT Solver

A MaxSAT solver tailored to the incomplete MaxSAT problem

CDCL SAT Solver

A SAT solver implementing the CDCL algorithm

DPLL SAT Solver

A SAT solver implementing the DPLL algorithm

MaxSAT Solver

A partial unweighted MaxSAT solver