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
No dependent packages found.
Past Dependents
Include Past Dependents
Check this option to include packages that no longer depend on this package in their latest version but previously did.
Filter
Filter by Kind
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 | 27 days ago |