hackage.haskell.org : mios
A SAT solver written in Haskell.
Registry
-
Source
- JSON
- codemeta.json
purl: pkg:hackage/mios
Keywords:
artificial-intelligence
, constraints
, gpl
, library
, program
, Propose Tags
, haskell
, sat-solver
License: GPL-3.0-only
Latest release: over 7 years ago
First release: over 9 years ago
Dependent repositories: 3
Downloads: 3,806 total
Stars: 39 on GitHub
Forks: 4 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 2 months ago
Loading...
Readme
Loading...