CVC4/CVC4 — pull request #53 by martin-cs (2014-09-26 17:00:21+00:00)
Title: Floating point infrastructure

I think this is the complete infrastructure required to add a floating-point solver, but I am still in the process of checking it.

Outstanding issues:

1. What should the copyright assignment say?
2. The are a few instructions that I didn't know how to parse.
3. I need to check if there are any updates to the theory that need to be encorporated.