Whats new in version 2.0.0:
• Package name space is changed to jp.kobe_u.sugar from jp.ac.kobe_u.cs.sugar.
• Refactoring code of the Converter program
• Refactoring code of the Encoder program
• CSP-to-CSP translation mode is added. See http://bach.istc.kobe-u.ac.jp/sugar/docs/translator.html
• Bug fix for negative relations
Publisher review:Sugar is a free and open-source solver of a finite linear Constraint Satisfaction Problem (CSP) or a Constraint Optimization Problem (COP).
Sugar encodes the problems into a Boolean Satisfiability Testing Problems (SAT) and solves the SAT problem by using an external SAT solver.
The Sugar tool employs a new SAT-encoding method named "order encoding". In the order encoding, a comparison x
Requirements:
- SAT solver (MiniSat, Glucose, GlueMiniSat, clasp, PrecoSAT, etc.)
- Perl 5
- Java 1.6
Operating system:Mac OS X