maxsat

Open-WBO-Inc Incomplete MaxSAT Solver

A MaxSAT solver tailored to the incomplete MaxSAT problem

Timetabler

A highly customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver

MaxSAT Solver

A partial unweighted MaxSAT solver