Adding has bound counts and tracking for rows.
Draft of the new propagation code.
Making propagation more conversative.
Working on the new explanation system.
* splitLemma to request atoms
* normalizing in bv before bitblasting
Adding quick explain for soi simplex.
Merge branch 'fcexplanations'
Merging branch 'soiquickexplain'.
Fixing a debug typo.
Removing arithmetic legacy code and unifying functions.
Code cleanup.  Reducing misc. warnings in arithmetic.
More misc. arithmetic cleanup. Removing unused files and functions. Also removing an ugly forward declaration that was needed to get error set bound information on basic variables.
Fixing compilation of unit tests. These problems were due to splitLemma() being pure virtual.
Adding a smarter technique for pivoting in solutions for glpk.
Adding cut offs for likely integer infeasible paths.
Some bug fixes for mb arrays
Disables justification stop only for LRA if the problem contains no ites. This is a bandaid for constraints-tempo-width family of benchmarks.
Adding a heuristic for guessing an optimization function when using glpk.
Removing excess verbosity from ApproxSimplex (after discussing with Tim)
fixed bv rewrite rule bug