[SMT-LIB] Mixing Integers and Reals in SMT2 formulas

Iguernelala Mohamed mohamed.iguernelala at gmail.com
Wed Jul 16 21:08:46 EDT 2014


Hi there,

I wanted to draw your attention to this question: 
http://stackoverflow.com/questions/24790381/why-does-0-0-5/
in case someone has a better answer/opinion.

Regards,

-- 
Mohamed Iguernelala.
Senior R&D Engineer, OCamlPro
Research Associate, VALS team, LRI.
http://www.iguer.info



More information about the SMT-LIB mailing list