Sugar version 1.13 Core API Specification

Serialized Form


Package jp.ac.kobe_u.cs.sugar

Class jp.ac.kobe_u.cs.sugar.SugarException extends Exception implements Serializable

serialVersionUID: 7879608175187039868L


Sugar version 1.13 Core API Specification

Sugar: A SAT-based Constraint Solver