projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c013182) | patch
Merges branches/arithmetic/tableau-reset into the trunk. The tableau is now heuristi...
authorTim King <taking@cs.nyu.edu>
Mon, 7 Mar 2011 19:10:16 +0000 (19:10 +0000)
committerTim King <taking@cs.nyu.edu>
Mon, 7 Mar 2011 19:10:16 +0000 (19:10 +0000)
commit423dafb4b4a34d0c99274a7619b062997342179a
tree409ac25256c64fb90c0e867f611ce495107bc940tree
parentc01318241e5082478090cba15ff71f82b3f6da6acommit | diff
Merges branches/arithmetic/tableau-reset into the trunk.  The tableau is now heuristically reset to its initial state during restarts.
src/theory/arith/tableau.cpp diff | blob | history
src/theory/arith/tableau.h diff | blob | history
src/theory/arith/theory_arith.cpp diff | blob | history
src/theory/arith/theory_arith.h diff | blob | history