ShinMaxSat
A Weighted Partial Max-SAT solver inspired by MiniSat+

Award

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)

Links

Author: Takehide Soh

Created: 2014-01-10 金 11:13

Emacs 23.3.1 (Org mode 8.2.1)

Validate