CVC4/CVC4 — pull request #16 by timothy-king (2014-03-07 23:06:59+00:00)
Title: Merging a squash of the branch timothy-king/CVC4/glpknecfix c95bf7d4f1 i...

...nto master. See the CAV14 submission for an explanation of the changes to the integer solver's behavior. If compiled against the our custom extension of glpk, https://github.com/timothy-king/glpk-cut-log, this should have substantial differences in behavior. This should have moderate performance differences for linear real and integer arithmetic even if these features are disabled.