Sugar version 1.13 Core API Specification

Package jp.ac.kobe_u.cs.sugar

Class Summary
Logger  
SugarConstants SugarConstants defines string constants of CSP symbols.
SugarMain SugarMain main class.
XML2CSP XML2CSP converts files in XCSP 2 format into CSP format.
 

Exception Summary
SugarException SugarException class.
 


Sugar version 1.13 Core API Specification

Sugar: A SAT-based Constraint Solver