sugartracer
Classes 
SatSolver
ServerTracer
SugarTracer
TextTracer
Tracer
Exceptions 
TracerException