The latest version of CSPM-FiringRules is 0.4.4.0-0.
lib:CSPM-FiringRules
Modules
- CSPM.FiringRules.EnumerateEvents
- CSPM.FiringRules.EnumerateEventsList
- CSPM.FiringRules.FieldConstraints
- CSPM.FiringRules.FieldConstraintsSearch
- CSPM.FiringRules.HelperClasses
- CSPM.FiringRules.Rules
- CSPM.FiringRules.Search
- CSPM.FiringRules.Test.Test
- CSPM.FiringRules.Trace
- CSPM.FiringRules.Verifier
Dependencies
- CSPM-CoreLanguage lib:CSPM-CoreLanguage >=0.2 && <0.3
- QuickCheck lib:QuickCheck >=2.4 && <2.5
- base lib:base >=4.0 && <5.0
- containers lib:containers >=0.4 && <0.5
- mtl lib:mtl >=2.0 && <2.1 || >=1.1 && <1.2
- parallel-tree-search lib:parallel-tree-search >=0.4 && <0.5
- random lib:random >=1.0 && <1.1
- tree-monad lib:tree-monad >=0.3 && <0.4
Reverse dependencies
Direct only. Not exhaustive.
- CSPM-cspm exe:cspm
- acme-everything lib:acme-everything