projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 57fe149) | patch
- Adds a path for Theory to be passed a reference to Options.
authorTim King <taking@cs.nyu.edu>
Sun, 27 Feb 2011 19:59:52 +0000 (19:59 +0000)
committerTim King <taking@cs.nyu.edu>
Sun, 27 Feb 2011 19:59:52 +0000 (19:59 +0000)
commitec834d513b8d390682a08f2ea2d159c3e35a4a2d
tree7b0953b87d04a2c76b8282d2469caddb2eaafbb2tree
parent57fe149cf7915d721912e1d1866c31346f66e2f8commit | diff
- Adds a path for Theory to be passed a reference to Options.
- Adds 3 choices of heuristic variable orders to use in ArithPriorityQueue.
- Adds the pivot-rule command line option.
src/theory/arith/arith_priority_queue.cpp diff | blob | history
src/theory/arith/arith_priority_queue.h diff | blob | history
src/theory/arith/simplex.h diff | blob | history
src/theory/arith/theory_arith.h diff | blob | history
src/theory/theory.h diff | blob | history
src/theory/theory_engine.cpp diff | blob | history
src/theory/theory_engine.h diff | blob | history
src/util/options.cpp diff | blob | history
src/util/options.h diff | blob | history