@hackage / CSPM-ToProlog

some modules specific for the ProB tool

0.5.5.0

Dependents

@hackage / CSPM-cspm cspm command line tool for analyzing CSPM specifications.
- Version: 0.8.1.0
- Last uploaded: 8 years ago
- License: BSD-3-Clause
@hackage / acme-everything Install everything.
- Version: 2018.11.18
- Last uploaded: 7 years ago
- License: LicenseRef-PublicDomain