kind2-mc/kind2 — pull request #172 by chsticksel (2014-11-18 00:38:35+00:00)
Title: Better support for CVC4

- Cast integer literals to reals if returned in a model for a real-valued term or variable
- Fail if using precise quantifier elimination or switching to it