|
SugarTrace version 1.0.1 Core API Specification |
||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Class Summary | |
---|---|
Assignment | Maintains assignment on a SAT instance under solving. |
Decoder | The class for decoding SAT solver information to CSP information. |
EncodingMap | Represents the mapping from CSP variables to SAT variables. |
Variable | This is a class for CSP integer variables and boolean variables. |
|
SugarTrace version 1.0.1 Core API Specification |
||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |