@hackage CSPM-ToProlog0.5.5.0
some modules specific for the ProB tool
Categories
License
BSD-3-Clause
Maintainer
Marc Fontaine <Marc.Fontaine@gmx.de>
Links
Versions
Installation
Dependencies (5)
- CSPM-Frontend >=0.10 && <0.13
- array >=0.5 && <0.6
- base >=4.0 && <5.0
- containers >=0.5 && <0.6
- pretty >=1.1 && <1.2 Show all…
Dependents (2)
@hackage/CSPM-cspm, @hackage/acme-everything
CSPM-ToProlog
This package contains a translation from a CSPM AST to the representation used by the ProB tool. This code is only interesting for ProB developers.