Sugar version 1.13 Core API Specification

Package jp.ac.kobe_u.cs.sugar.encoder

Class Summary
Encoder Encoder encodes CSP into SAT.
 


Sugar version 1.13 Core API Specification

Sugar: A SAT-based Constraint Solver