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.
Ecosystem
hackage.haskell.org
hackage.haskell.org
Latest Release
over 8 years ago
0.5.5.0
over 8 years ago
Versions
6
6
Downloads
6,025 total
6,025 total
Dependent Repos
1
1
Links
| Registry | hackage.haskell.org |
| JSON API | View JSON |
| CodeMeta | codemeta.json |
Package Details
| PURL |
pkg:hackage/CSPM-ToProlog
spec |
| License | BSD-3-Clause |
| First Release | almost 15 years ago |
| Last Synced | 26 days ago |