Closed bertiqwerty closed 3 years ago
Currently, variables are named x0, x1, ... after unparsing.
Since we keep track of the original names anyway to handle overloaded operators, we can also use the original names.
Currently, variables are named x0, x1, ... after unparsing.
Since we keep track of the original names anyway to handle overloaded operators, we can also use the original names.