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