Adding a heuristic to more eagerly split bounded integer variables.
Fix a small problem in clang builds due to namespaces and symbol lookup
Merge branch '1.0.x'
some simple tracing and infrastructure in preparation for miplib pseudoboolean rewriting
more work on miplib pass
more miplib fixes
more benchmarks for miplib trick
more work on miplib trick; now using option --enable-miplib-trick
Remove old miplibtrick from arith static learner
Remove PropositionalQuery class and all CUDD-related build stuff
minor fixes
Rearrange and fix some miplib-related regressions