search

Specy / rooc

A language for compiling formal mathematical models into static models which are transformed to be solved
https://rooc.specy.app
MIT License
4 stars 0 forks source link

Expression precedence issue #8

Open Specy opened 6 months ago

Specy commented 6 months ago

Some expressions are not printed out correctly:

(10 * x - 10 * y) - (300 + x + 3 * z) = 1
(10 * x) * (20 + y) <= 1

get printed as:


10 * x - 10 * y - 300 + x + 3 * z = 1
10 * x * (20 + y) <= 1