pbsugar.sat
Classes 
SatFile
Solver