Closed xtrojak closed 3 years ago
Qualitative version of models (no rates defined) is currently not supported. For example, we should be able generate transition system. The infrastructure for this is prepared
Solved in #19
Qualitative version of models (no rates defined) is currently not supported. For example, we should be able generate transition system. The infrastructure for this is prepared