[SMT-LIB] Suggestion : rational constants

Rémi Delmas Remi.Delmas at onera.fr
Mon Aug 29 06:31:45 EDT 2011


Hello,

as of today the standard allows decimals constants, how about allowing 
rational constants specified as N:D, with N and D two arbitrary 
precision integers ?

Regards,

-- 
Rémi Delmas
Remi.Delmas at onera.fr
+33.5.62.25.26.54
http://www.onera.fr/dtim/systemes-critiques/
ONERA BP4025
2 avenue Edouard Belin
FR-31055 TOULOUSE CEDEX 4


More information about the SMT-LIB mailing list