@hackage / CSPM-FiringRules

Firing rules semantic of CSPM

Latest0.4.4.0

Dependencies

library:CSPM-FiringRules (8 dependencies)

@hackage / QuickCheck Automatic testing of Haskell programs
- Version: >=2.6 && <2.11
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.0 && <5.0
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: >=2.1 && <2.3
- License: BSD-3-Clause
@hackage / parallel-tree-search Parallel Tree Search
- Version: >=0.4 && <0.5
- License: LicenseRef-PublicDomain
@hackage / containers Assorted concrete container types
- Version: >=0.5 && <0.6
- License: BSD-3-Clause
@hackage / CSPM-CoreLanguage Definition of a CSP core-language.
- Version: >=0.3 && <0.4
- License: BSD-3-Clause
@hackage / tree-monad Non-Determinism Monad for Tree Search
- Version: >=0.3 && <0.4
- License: BSD-3-Clause
@hackage / random Pseudo-random number generation
- Version: >=1.0 && <1.2
- License: BSD-3-Clause