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.11
• base lib:base >=4.0 && <5.0
• containers lib:containers >=0.5 && <0.6
• mtl lib:mtl >=2.1 && <2.3
• parallel-tree-search lib:parallel-tree-search >=0.4 && <0.5
• random lib:random >=1.0 && <1.2
• 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