CVC4/CVC4 — pull request #18 by timothy-king (2014-03-08 19:44:40+00:00)
Title: Merging in the glpk changes

Merging a squash of the branch timothy-king/CVC4/glpknecfix c95bf7d4f1. This now brings in new changes from trunk and bug fixes.