Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org "sat-solver" keyword
mios 1.6.2
A SAT solver written in Haskell.6 versions - Latest release: over 5 years ago - 3 dependent repositories - 3.6 thousand downloads total - 39 stars on GitHub - 1 maintainer
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
toysolver 0.8.1
Toy-level solver implementation of various problems including SAT, SMT, Max-SAT, PBSPBO (Pseudo B...15 versions - Latest release: over 1 year ago - 2 dependent repositories - 15.1 thousand downloads total - 149 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
library
4
haskell
3
logic
3
constraints
2
program
2
mit
2
haskell-library
2
picosat
2
theorem-prover
1
smt-solver
1
mathematical-programming
1
theorem-provers
1
smt
1
optimization
1
optimisation
1
formal-methods
1
bsd3
1
algorithms
1
picosat-solver
1
logic-programming
1
gpl
1
artificial-intelligence
1