SMT printer remove leading zeros in reals
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.
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.