search

salmans / Razor

5 stars 0 forks source link

Restoring formula simplification #32

Closed salmans closed 9 years ago

salmans commented 9 years ago

After the last changes in the input parser, the input formulas don't get simplified anymore.