CVC4/CVC4 — pull request #17 by timothy-king (2014-03-08 00:49:11+00:00)
Title: Merging a squash of the branch timothy-king/CVC4/glpknecfix c95bf7d4f1 i...

This includes the previous pull request as well as a fix the previous build failures.