search

heron-solver / heron

🏺 Simulation Solver for Timed Causality Models in TESL
MIT License
5 stars 1 forks source link

Incomplete arithmetic solver for `60. = X * 100. + 0.` #50

Closed hai-nguyen-van closed 6 years ago

hai-nguyen-van commented 6 years ago

Not solving 60. = X * 100. + 0.

tag relation zero = 0.0

Q-quantity Fb
Q-quantity Vp

tag relation sixty = 60.0
tag relation sixty = Fb * Vp + zero

Vp sporadic 100.0

@step
@print