diff options
author | Tim King <taking@cs.nyu.edu> | 2013-01-31 16:34:12 -0500 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2013-01-31 16:34:25 -0500 |
commit | 9d7f0244034f1807e28b8ded23f4d6104ecf5263 (patch) | |
tree | 9a0eedb4e08c0dad66a052a6c6b6b8879e896c55 /src/util | |
parent | 82058d4af2f41f9236433294cd092dd5e2a2c1b9 (diff) |
Adding a heuristic to more eagerly split bounded integer variables.
Diffstat (limited to 'src/util')
0 files changed, 0 insertions, 0 deletions