hackage.haskell.org "constraints" keyword
View the packages on the hackage.haskell.org package registry that are tagged with the "constraints" keyword.
csp 1.4.0
Constraint satisfaction problem (CSP) solvers4 versions - Latest release: over 7 years ago - 15 dependent repositories - 3.97 thousand downloads total - 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: 5 months ago - 2 dependent repositories - 15.7 thousand downloads total - 157 stars on GitHub - 1 maintainer
iterative-forward-search 0.1.0.0
An implementation of the IFS contraint satisfaction algorithm1 version - Latest release: almost 4 years ago - 151 downloads total - 1 stars on GitHub - 2 maintainers
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
superconstraints 0.0.2
Constraint manipulation2 versions - Latest release: about 8 years ago - 1.56 thousand downloads total - 5 stars on GitHub - 1 maintainer
trivial-constraint 0.7.0.0
A haskell typeclass that includes ALL types.8 versions - Latest release: about 4 years ago - 3 dependent packages - 9 dependent repositories - 7.7 thousand downloads total - 5 stars on GitHub - 1 maintainer
constraints-emerge 0.1.2 💰
This plugin allows you to write where the 'Emerge (Show c)' will automatically be discharged fo...3 versions - Latest release: over 7 years ago - 1 dependent repositories - 1.53 thousand downloads total - 18 stars on GitHub - 1 maintainer
dependent-literals-plugin 0.1.0.2
3 versions - Latest release: over 3 years ago - 508 downloads total - 4 stars on GitHub - 1 maintainerconstraints-deriving 1.1.1.2
The library provides a plugin to derive class instances programmatically. Please see the README o...11 versions - Latest release: over 4 years ago - 5.28 thousand downloads total - 11 stars on GitHub - 1 maintainer
unconstrained 0.1.0.2
3 versions - Latest release: over 7 years ago - 8 dependent repositories - 2.63 thousand downloads totalpseudo-boolean 0.1.12.0
Reading/Writing OPB/WBO files used in pseudo boolean competition14 versions - Latest release: 4 months ago - 1 dependent repositories - 9.03 thousand downloads total - 3 stars on GitHub - 1 maintainer
Top 1.7
1 version - Latest release: almost 13 years ago - 2.16 thousand downloads total - 1 maintainer
Top 4.0% on hackage.haskell.org
34 versions - Latest release: about 1 year ago - 57 dependent packages - 291 dependent repositories - 100 thousand downloads total - 71 stars on GitHub - 3 maintainers
constraints 0.14.2
GHC 7.4 gave us the ability to talk about ConstraintKinds. They stopped crashing the compiler in ...34 versions - Latest release: about 1 year ago - 57 dependent packages - 291 dependent repositories - 100 thousand downloads total - 71 stars on GitHub - 3 maintainers
cluss 0.3
simple alternative to type classes3 versions - Latest release: almost 11 years ago - 3.55 thousand downloads total - 4 stars on GitHub - 1 maintainer
nondeterminism 1.5
Nondeterministic computations4 versions - Latest release: about 3 years ago - 18 dependent repositories - 3.47 thousand downloads total - 1 maintainer
ifscs 0.2.0.0
1 version - Latest release: almost 12 years ago - 1 dependent repositories - 1.46 thousand downloads total - 1 maintainerdependent-literals 0.2.0
3 versions - Latest release: over 3 years ago - 504 downloads total - 4 stars on GitHub - 1 maintainer
Top 8.3% on hackage.haskell.org
21 versions - Latest release: 6 months ago - 13 dependent packages - 39 dependent repositories - 32.7 thousand downloads total - 9 stars on GitHub - 8 maintainers
constraints-extras 0.4.0.2
Convenience functions and TH for working with constraints. See README.md for example usage.21 versions - Latest release: 6 months ago - 13 dependent packages - 39 dependent repositories - 32.7 thousand downloads total - 9 stars on GitHub - 8 maintainers
ffunctor 1.2.1
6 versions - Latest release: almost 5 years ago - 2 dependent repositories - 3.46 thousand downloads total - 1 maintainerattenuation 0.2.0
2 versions - Latest release: almost 4 years ago - 1 dependent package - 1 dependent repositories - 519 downloads total - 3 stars on GitHub - 1 maintainerattenuation-profunctors 0.1.0
This provides functions and Attenuations for profunctors. See the README.md.1 version - Latest release: almost 4 years ago - 180 downloads total - 3 stars on GitHub - 1 maintainer
some-dict-of 0.1.0.2
Please see the README on GitHub at https://github.com/parsonsmatt/some-dict-of#readme3 versions - Latest release: almost 4 years ago - 2 dependent packages - 7 dependent repositories - 758 downloads total - 3 stars on GitHub - 1 maintainer
exists 0.2
Existential datatypes holding evidence of constraints2 versions - Latest release: about 13 years ago - 1.93 thousand downloads total - 1 stars on GitHub - 1 maintainer
snumber 0.3.0
3 versions - Latest release: over 3 years ago - 1 dependent repositories - 466 downloads total - 4 stars on GitHub - 1 maintainer
Related Keywords
library
24
Propose Tags
24
bsd3
11
apache
5
program
3
gpl
2
haskell
2
mit
2
sat-solver
2
optimization
2
optimisation
2
logic
2
monads
2
failure
2
control
2
ai
2
bsd2
1
pseudo-boolean
1
parsing
1
data
1
type-system
1
deprecated
1
artificial-intelligence
1
theorem-prover
1
smt-solver
1
mathematical-programming
1
theorem-provers
1
smt
1
formal-methods
1
algorithms
1