========================================================================
README for ShinMaxSat

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

================
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.

================
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)

================
CONTACTS

Kengo Honjyo, Tomoya Tanjo
Information Science and Technology Center, Kobe University
1-1 Rokkodai, Nada, Kobe 657-8501 Japan
E-mail: tanjo @ nii.ac.jp

========================================================================