sugartracer
Class SatSolver
java.lang.Object
sugartracer.SatSolver
- Direct Known Subclasses:
- Sat4j
public abstract class SatSolver
- extends Object
cnfFileName
public String cnfFileName
tracer
public Tracer tracer
SatSolver
public SatSolver(String cnfFileName)
setTracer
public void setTracer(Tracer tracer)
startSolver
public abstract void startSolver()
throws TracerException
- Throws:
TracerException
stopSolver
public abstract void stopSolver()
throws TracerException
- Throws:
TracerException
restartSolver
public abstract void restartSolver()
throws TracerException
- Throws:
TracerException
SugarTracer: Tracer of Sugar