hackage.haskell.org : satchmo-toysat
toysat driver as backend for satchmo
Registry
-
Source
- JSON
purl: pkg:hackage/satchmo-toysat
Keywords:
algorithms
, bsd3
, library
, logic
, Propose Tags
License: BSD-3-Clause
Latest release: about 10 years ago
First release: over 10 years ago
Downloads: 2,000 total
Stars: 2 on GitHub
Forks: 0 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 5 days ago
Loading...
Readme
Loading...