@hackage / CSPM-cspm

cspm command line tool for analyzing CSPM specifications.

Latest0.8.1.0

Dependencies

library:CSPM-cspm (14 dependencies)

@hackage / CSPM-ToProlog some modules specific for the ProB tool
- Version: >=0.5.5 && <0.6
- License: BSD-3-Clause
@hackage / CSPM-Frontend A CSP-M parser compatible with FDR-2.91
- Version: >=0.12.1 && <0.13
- License: BSD-3-Clause
@hackage / parallel Parallel programming library
- Version: >=3.2 && <3.3
- License: BSD-3-Clause
@hackage / CSPM-Interpreter An interpreter for CSPM
- Version: >=0.7.1 && <0.8
- License: BSD-3-Clause
@hackage / CSPM-FiringRules Firing rules semantic of CSPM
- Version: >=0.4.4 && <0.5
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.0 && <5.0
- License: BSD-3-Clause
@hackage / cmdargs Command line argument processing
- Version: >=0.10 && <0.11
- License: BSD-3-Clause
@hackage / syb Scrap Your Boilerplate
- Version: >=0.7 && <0.8
- License: BSD-3-Clause
@hackage / xml A simple XML library.
- Version: >=1.3 && <1.4
- License: BSD-3-Clause
@hackage / prettyclass Pretty printing class similar to Show.
- Version: >=1.0 && <1.1
- License: BSD-3-Clause
@hackage / transformers Concrete functor and monad transformers
- Version: >=0.5
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.5 && <0.6
- License: BSD-3-Clause
@hackage / hslua Bindings to Lua, an embeddable scripting language
- Version: >=0.3.12 && <0.4
- License: MIT
@hackage / CSPM-CoreLanguage Definition of a CSP core-language.
- Version: >=0.3.1 && <0.4
- License: BSD-3-Clause

executable:cspm (14 dependencies)