`smcdel`

See README.md for references and documentation.

Ecosystem
hackage.haskell.org

Latest Release
1.3.0
almost 2 years ago

Versions
4

Downloads
1,348 total

Dependent Packages
1

Dependent Repos
2

smcdel 1.3.0

See README.md for references and documentation.
4 versions - Latest release: almost 2 years ago - 1 dependent package - 2 dependent repositories - 1.35 thousand downloads total - 49 stars on GitHub - 1 maintainer

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

All kinds runtime 1

Links

Registry	hackage.haskell.org
Source	Repository
Homepage	Homepage
JSON API	View JSON
CodeMeta	codemeta.json

Package Details

PURL	`pkg:hackage/smcdel` spec
License	GPL-2.0-only
First Release	about 8 years ago
Last Synced	8 days ago

Keywords
gpl library logic Propose Tags epistemic-logic haskell model-checking symbolic

Repository

Stars	49 on GitHub
Forks	9 on GitHub
Commits	161
Committers	1
Avg per Author	161.0
DDS	0.0

commits.ecosyste.ms

repos.ecosyste.ms

ecosyste.ms

Data

Tools

Indexes

Applications

Experiments

Packages