search

heron-solver / heron

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

Missing type checking rules for tag relation variants #49

Closed hai-nguyen-van closed 6 years ago