Sugar version 2.1.3 Core API Specification
jp.kobe_u.sugar.csp

Enum CSP.Objective

Sugar version 2.1.3 Core API Specification

Sugar: A SAT-based Constraint Solver