projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 82058d4) | patch
Adding a heuristic to more eagerly split bounded integer variables.
authorTim King <taking@cs.nyu.edu>
Thu, 31 Jan 2013 21:34:12 +0000 (16:34 -0500)
committerTim King <taking@cs.nyu.edu>
Thu, 31 Jan 2013 21:34:25 +0000 (16:34 -0500)
commit9d7f0244034f1807e28b8ded23f4d6104ecf5263
tree9a0eedb4e08c0dad66a052a6c6b6b8879e896c55tree
parent82058d4af2f41f9236433294cd092dd5e2a2c1b9commit | diff
Adding a heuristic to more eagerly split bounded integer variables.
src/theory/arith/options diff | blob | history
src/theory/arith/theory_arith.cpp diff | blob | history
src/theory/arith/theory_arith.h diff | blob | history