SAT & MaxSAT Solvers
SAT Solving using DPLL and CDCL. MaxSAT solver based on Minisat.
This project includes:
- A SAT solver implementing DPLL.
- A SAT solver implementing CDCL.
- A MaxSAT Solver implementing partial unweighted MaxSAT problem built on Minisat 2.2.0. It uses sequential encoding to encode cardinality constraints and employs linear search.