@hackage / CSPM-ToProlog

some modules specific for the ProB tool

Latest0.5.5.0

Dependencies

library:CSPM-ToProlog (5 dependencies)

@hackage / CSPM-Frontend A CSP-M parser compatible with FDR-2.91
- Version: >=0.10 && <0.13
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.0 && <5.0
- License: BSD-3-Clause
@hackage / array Mutable and immutable arrays
- Version: >=0.5 && <0.6
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.5 && <0.6
- License: BSD-3-Clause
@hackage / pretty Pretty-printing library
- Version: >=1.1 && <1.2
- License: BSD-3-Clause