SugarTrace version 1.0.1 Core API Specification

Package sugartracer.decoder

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

SugarTracer: Tracer of Sugar