Top 9.5% downloads on hackage.haskell.org
hackage.haskell.org : satchmo
SAT encoder
Registry
-
Source
- JSON
purl: pkg:hackage/satchmo
Keywords:
gpl
, library
, logic
, Propose Tags
License: GPL-2.0-only
Latest release: about 10 years ago
First release: over 16 years ago
Dependent repositories: 7
Downloads: 16,201 total
Stars: 4 on GitHub
Forks: 1 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 3 days ago
Loading...
Readme
Loading...