SugarA SAT-based constraint solver | |
Download |
Sugar Ranking & Summary
Advertisement
- License:
- BSD
- Price:
- FREE
- Publisher Name:
- Naoyuki Tamura
- Publisher web site:
- http://bach.istc.kobe-u.ac.jp/tamura.html
- Operating Systems:
- Mac OS X
- File Size:
- 603 KB
Sugar Tags
Sugar Description
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
Sugar Related Software