summaryrefslogtreecommitdiff
path: root/src/theory/arith/tableau.cpp
AgeCommit message (Expand)Author
2011-03-05- Adds PermissiveBackArithVarSet. This is very similar to ArithVarSet. The d...Tim King
2011-03-03Merged the tableau-copy branch into trunk. This adds a copy constructor and o...Tim King
2011-02-26Commit to fix bug 241 (improper "using namespace std" in a header). This cau...Morgan Deters
2011-02-22- Adds column based iterators.Tim King
2011-02-19Changes:Tim King
2011-02-18Changes:Tim King
2011-02-17This commit is the promised clean up after removing row ejection.Tim King
2011-02-17Removed ActivityMonitor from arithmetic. This was only used for row ejection,...Tim King
2011-02-17Row ejection is now completely disabled. Another commit cleaning this one up ...Tim King
2011-02-16Overview of the changes:Tim King
2010-10-30Adds a hueristic from Alberto's thesis. For a fixed window the row count is u...Tim King
2010-10-29Fix for a problem caused by using a != instead of == in generateConflictBelow...Tim King
2010-10-28The Row implementation has no been replaced by RowVector and ReducedRowVector...Tim King
2010-10-23Removed slack.h, and arith_activity.h. Replaced IsBasicManager with the more ...Tim King
2010-10-09Model generation for arith, boolean, and uf theories viaMorgan Deters
2010-10-07Small tableau optimization.Tim King
2010-10-03file header documentation regenerated with contributors names; no code modifi...Morgan Deters
2010-10-02branches/arith-indexed-variables merged into the main trunk.Tim King
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback