DifferenceLogic

This package contains a theory solver for conjunctions of literals in difference logic. The logic supports predicates: > < >= <= = It does not currently support disequality