Age | Commit message (Collapse) | Author | |
---|---|---|---|
2018-02-15 | Refactor regressions (#1581) | Andrew Reynolds | |
2017-10-12 | CBQI BV quick heuristics (#1239) | Andrew Reynolds | |
Adds two heuristics for cbqi-bv, both disabled by default. The first optimistically solves for boundary points of inequalities. The second randomly interleaves inversion and value instantiations. Adds some newly solved regressions from SMT LIB. |