Clarify the difference between pp
and printTerm
#789
Labels
investigate
Suspicious or improper behaviour that needs to be investigates
pp
and printTerm
#789
printTerm
seems to be SMT-LIB compliant, whilepp
does not.May be connected to the way how
FastRational
s are printed out or parsed.Investigate the reasons behind
pp
and consider removing it from the public API.The text was updated successfully, but these errors were encountered: