projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d96271f) | patch
Disables justification stop only for LRA if the problem contains no ites. This is...
authorTim King <taking@cs.nyu.edu>
Mon, 6 May 2013 19:00:34 +0000 (15:00 -0400)
committerTim King <taking@cs.nyu.edu>
Mon, 6 May 2013 19:00:34 +0000 (15:00 -0400)
commit5b0b97587e3640567ecd864171b309f39d829358
tree769cdb285693bc48bb82300dc5972033db9ed7f2tree
parentd96271f4abcb92c67461080ed33a8aa742c2a0f4commit | diff
Disables justification stop only for LRA if the problem contains no ites. This is a bandaid for constraints-tempo-width family of benchmarks.
src/decision/decision_engine.cpp diff | blob | history
src/decision/decision_engine.h diff | blob | history
src/smt/smt_engine.cpp diff | blob | history