Package edu.kit.iti.formal.lights.sat

Class Summary

Class	Description
Clause	The Class Clause represents DIMACS clauses.
SATSolver	The class SATSolver provides an interface to a satisfiability solver.