Data

Tools

Indexes

Applications

Experiments

Packages

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

picologic

Symbolic logic expressions

Ecosystem
hackage.haskell.org
Latest Release
0.3.0
over 9 years ago
Versions
5
Downloads
3,925 total
Dependent Repos
2
    Loading...
    Readme
    Loading...
    Links
    Registry hackage.haskell.org
    Source Repository
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:hackage/picologic
    spec
    License MIT
    First Release almost 12 years ago
    Last Synced 14 days ago
    Keywords
    library logic mit Propose Tags haskell haskell-library picosat sat-solver
    Repository
    Stars 15 on GitHub
    Forks 5 on GitHub
    repos.ecosyste.ms