Mentions légales du service

Skip to content

SMT printer remove leading zeros in reals

François Bobotrequested to merge
fix_zero_starting_num_printing into master

Leading zeros 000100.0 doesn't comply with strict smtlib. A custom printer for decimal is added, it is not required but it is prettier.

Merge request reports