Sugar version 1.13 Core API Specification

Package jp.ac.kobe_u.cs.sugar.converter

Class Summary
Converter Converter class is used to convert input expressions to a CSP.
Predicate Predicate class.
Relation Relation class.
 


Sugar version 1.13 Core API Specification

Sugar: A SAT-based Constraint Solver