MaxSAT Solver

This project implements a partial unweighted MaxSAT solver. It uses the Minisat SAT solver as its backbone. It uses sequential encoding to encode pseudo-boolean constraints in the conjunctive normal form (CNF). The LUS search algorithm is used to find the optimal solution.

This solver is implemented in C++.

Next
Previous