Sugar version 2.3.2 Core API Specification
- java.lang.Object
-
- jp.kobe_u.sugar.OutputSMT
-
-
Nested Class Summary
Nested Classes
Modifier and Type |
Class and Description |
static class |
OutputSMT.Format |
-
Constructor Summary
Constructors
Constructor and Description |
OutputSMT() |
-
Method Summary
-
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
-
Constructor Detail
-
OutputSMT
public OutputSMT()
Sugar version 2.3.2 Core API Specification
Sugar: A SAT-based Constraint Solver