Sugar version 1.13 Core API Specification

Sugar version 1.13 Core API Specification

Packages
jp.ac.kobe_u.cs.sugar  
jp.ac.kobe_u.cs.sugar.converter  
jp.ac.kobe_u.cs.sugar.csp  
jp.ac.kobe_u.cs.sugar.encoder  
jp.ac.kobe_u.cs.sugar.expression  

 


Sugar version 1.13 Core API Specification

Sugar: A SAT-based Constraint Solver