ShinMaxSat
A Weighted Partial Max-SAT solver inspired by MiniSat+
Award
- Won the 2nd Prize of Weighted Partial Max-SAT category (Crafted) on 7th Max-SAT Evaluation (2012)
Features
- ShinMaxSat can solve a Weighted partial Max-SAT by encoding it into a Boolean Satisfiability Testing Problems (SAT) and solving the SAT problem by using MiniSat 2.2.0.
- ShinMaxSat is inspired by MiniSat+ which is a SAT-based Pseudo-Boolean solver.
- ShinMaxSat is developed by Kengo Honjyo as a part of the work for his master's thesis.
Download
Usage
- Weighted partial Max-SAT instances can be solved by ShinMaxSat.
$ shinmaxsat example.wcnf
- Each weighted Partial Max-SAT instance is written in an extended DIMACS format (see http://maxsat.ia.udl.cat/requirements)