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
about 9 years ago
Versions
5
Downloads
3,914 total
Dependent Repos
2
0.3.0
Published: about 9 years ago
Registry - Download
0.2.0
Published: almost 10 years ago
Registry - Download
0.1.2
Published: over 10 years ago
Registry - Download
0.1.1
Published: over 11 years ago
Registry - Download
0.1
Published: over 11 years ago
Registry - Download
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 over 11 years ago
Last Synced 18 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