Is there support for invariants?

← Concepts

No, there is currently no support for calculating place or transition invariants.