Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

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
    Loading...
    Readme
    Loading...
    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