Package ec.app.sat

Class Summary

Class	Description
SAT	SAT implements the boolean satisfiability problem.
SAT.Clause	Private helper class holding a single clause in the boolean formula.