Dependencies for CSPM-FiringRules-0.3.0.3
Libraries
CSPM-FiringRules
- base (>=4.0 && <5.0)
- containers (>=0.4 && <0.5)
- CSPM-CoreLanguage (>=0.2 && <0.3)
- mtl (>=1.1 && <1.2 || >=2.0 && <2.1)
- parallel-tree-search (>=0.4 && <0.5)
- tree-monad (>=0.3 && <0.4)
- if flag(quickcheck)
- QuickCheck (>=2.4 && <2.5)
- random (>=1.0 && <1.1)
Flags
Automatic Flags
| Name | Description | Default |
|---|---|---|
| quickcheck | enable QuickCheck tests | Enabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info