SugarTrace version 1.0.1 Core API Specification

Serialized Form


Package sugartracer

Class sugartracer.TracerException extends Exception implements Serializable

serialVersionUID: 7941262341995432110L


Package sugartracer.sat4j

Class sugartracer.sat4j.Sat4j extends SatSolver implements Serializable

serialVersionUID: 5428504901632558767L

Serialized Fields

solver

org.sat4j.specs.ISolver solver


SugarTrace version 1.0.1 Core API Specification

SugarTracer: Tracer of Sugar