hackage.haskell.org "sat-solver" keyword
picosat 0.1.6
Haskell bindings for PicoSAT solver9 versions - Latest release: about 6 years ago - 1 dependent package - 19 dependent repositories - 7.02 thousand downloads total - 17 stars on GitHub - 1 maintainer
picologic 0.3.0
Symbolic logic expressions5 versions - Latest release: about 9 years ago - 2 dependent repositories - 3.91 thousand downloads total - 15 stars on GitHub - 1 maintainer
toysolver 0.9.0
Toy-level solver implementation of various problems including SAT, SMT, Max-SAT, PBSPBO (Pseudo B...16 versions - Latest release: about 1 year ago - 2 dependent repositories - 16.1 thousand downloads total - 158 stars on GitHub - 1 maintainer
mios 1.6.2
A SAT solver written in Haskell.6 versions - Latest release: over 7 years ago - 3 dependent repositories - 3.84 thousand downloads total - 39 stars on GitHub - 1 maintainer
Related Keywords
library
4
Propose Tags
4
logic
3
haskell
3
program
2
constraints
2
picosat
2
haskell-library
2
mit
2
logic-programming
1
picosat-solver
1
algorithms
1
bsd3
1
formal-methods
1
optimisation
1
optimization
1
smt
1
theorem-provers
1
mathematical-programming
1
smt-solver
1
theorem-prover
1
artificial-intelligence
1
gpl
1