Use smarter splitting heuristic
authorBrian Demsky <bdemsky@uci.edu>
Sun, 14 Jan 2018 20:39:58 +0000 (12:39 -0800)
committerBrian Demsky <bdemsky@uci.edu>
Sun, 14 Jan 2018 20:39:58 +0000 (12:39 -0800)
commit8a8c578baea83656da2c032d0d0736d2a286f021
tree6790f654001c481524b321b62cd62375acd15336
parentf3afe6e2ef7e4c2bcd95000ea3e1e17f9e538789
Use smarter splitting heuristic
src/Backend/constraint.cc
src/Backend/constraint.h