hackage.haskell.org : puresat
Pure Haskell SAT solver
Registry
-
Source
- JSON
- codemeta.json
purl: pkg:hackage/puresat
Keywords:
bsd3
, data
, library
, Propose Tags
License: BSD-3-Clause
Latest release: over 1 year ago
First release: over 1 year ago
Downloads: 113 total
Stars: 5 on GitHub
Forks: 2 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: about 12 hours ago
Loading...
Readme
Loading...