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
- CSPM.FiringRules.Version
Dependencies
- CSPM-CoreLanguage lib:CSPM-CoreLanguage >=0.3 && <0.4
- QuickCheck lib:QuickCheck >=2.6 && <2.7
- base lib:base >=4.0 && <5.0
- containers lib:containers >=0.5 && <0.6
- mtl lib:mtl >=2.1 && <2.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
- CSPM-cspm lib:CSPM-cspm
- acme-everything lib:acme-everything