Support for dreal prover
The following have been added to have support for the dReal prover :
- A new driver
- A new transformation to eliminate non arithmetic assertions
- A small correction on the smtv2 printer to avoid printing newlines on commentaries
- A small change in the
ieee_float
theory to have constants defined by axioms so that we can remove them in the drivers with theremove prop
construct.