summaryrefslogtreecommitdiff
path: root/src/theory/arith/constraint.h
AgeCommit message (Expand)Author
2013-05-01Working on the new explanation system.Tim King
2013-04-26FCSimplex branch mergeTim King
2013-04-02Regenerated copyrights: canonicalized names, no emailsMorgan Deters
2013-04-01update copyrightsMorgan Deters
2013-02-16Some cleanup and copyright updatingMorgan Deters
2012-12-05Improved garbage collection for TheoryArith. The merges all of the code over...Tim King
2012-11-25This commit fixes two incompleteness bugs (461, 459) introduced in r4611 dues...Tim King
2012-11-24Adds ensureConstraint(...) to ConstraintDatabase. This is a slightly optimize...Tim King
2012-10-11Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it'sMorgan Deters
2012-07-07Various fixes to documentation---typos, some incomplete documentation fixed, ...Morgan Deters
2012-06-13Added witnesses to Constraints.Tim King
2012-06-13- Added a loop to internally assert constraints that are marked as true.Tim King
2012-05-22This commit merges in the branch arithmetic/cprop.Tim King
2012-05-04- This fixes a problem where simplex produced the same conflict in the single...Tim King
2012-04-24This commit merges in the branch branches/arithmetic/congruence into trunk. H...Tim King
2012-04-17Merges branches/arithmetic/atom-database r2979 through 3247 into trunk. Belo...Tim King
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback