hackage.haskell.org "sat-solver" keyword
View the packages on the hackage.haskell.org package registry that are tagged with the "sat-solver" keyword.
toysolver 0.9.0
Toy-level solver implementation of various problems including SAT, SMT, Max-SAT, PBSPBO (Pseudo B...16 versions - Latest release: 5 months ago - 2 dependent repositories - 15.7 thousand downloads total - 157 stars on GitHub - 1 maintainer
mios 1.6.2
A SAT solver written in Haskell.6 versions - Latest release: almost 7 years ago - 3 dependent repositories - 3.77 thousand downloads total - 39 stars on GitHub - 1 maintainer
picosat 0.1.6
Haskell bindings for PicoSAT solver9 versions - Latest release: over 5 years ago - 1 dependent package - 19 dependent repositories - 6.89 thousand downloads total - 17 stars on GitHub - 1 maintainer
picologic 0.3.0
Symbolic logic expressions5 versions - Latest release: over 8 years ago - 2 dependent repositories - 3.85 thousand downloads total - 14 stars on GitHub - 1 maintainer
Related Keywords
library
4
Propose Tags
4
logic
3
haskell
3
picosat
2
constraints
2
haskell-library
2
mit
2
program
2
picosat-solver
1
logic-programming
1
gpl
1
artificial-intelligence
1
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