Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / sdiehl / picologic

Symbolic logic expressions

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sdiehl%2Fpicologic

Stars: 14
Forks: 5
Open Issues: 0

License: mit
Language: Haskell
Repo Size: 42 KB
Dependencies: 18

Created: almost 10 years ago
Updated: 5 months ago
Last pushed: almost 4 years ago
Last synced: 7 minutes ago

Topics: haskell, haskell-library, logic, picosat, sat-solver

Files
    Loading...
    Readme
    Loading...
    Dependencies
    picologic.cabal hackage