Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org "picosat" keyword
picosat 0.1.6
Haskell bindings for PicoSAT solver9 versions - Latest release: over 4 years ago - 1 dependent package - 19 dependent repositories - 6.58 thousand downloads total - 16 stars on GitHub - 1 maintainer
picologic 0.3.0
Symbolic logic expressions5 versions - Latest release: over 7 years ago - 2 dependent repositories - 3.69 thousand downloads total - 14 stars on GitHub - 1 maintainer
Related Keywords