Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org "constraints" keyword
nondeterminism 1.5
Nondeterministic computations4 versions - Latest release: almost 2 years ago - 18 dependent repositories - 3.23 thousand downloads total - 1 maintainer
unconstrained 0.1.0.2
3 versions - Latest release: over 6 years ago - 8 dependent repositories - 2.45 thousand downloads totalexists 0.2
Existential datatypes holding evidence of constraints2 versions - Latest release: about 12 years ago - 1.86 thousand downloads total - 1 stars on GitHub - 1 maintainer
csp 1.4.0
Constraint satisfaction problem (CSP) solvers4 versions - Latest release: about 6 years ago - 15 dependent repositories - 3.75 thousand downloads total - 1 maintainer
attenuation-profunctors 0.1.0
This provides functions and Attenuations for profunctors. See the README.md.1 version - Latest release: over 2 years ago - 138 downloads total - 2 stars on GitHub - 1 maintainer
cluss 0.3
simple alternative to type classes3 versions - Latest release: over 9 years ago - 3.44 thousand downloads total - 4 stars on GitHub - 1 maintainer
Top 1.7
1 version - Latest release: over 11 years ago - 2.11 thousand downloads total - 1 maintainerattenuation 0.2.0
2 versions - Latest release: over 2 years ago - 1 dependent package - 1 dependent repositories - 404 downloads total - 2 stars on GitHub - 1 maintainersome-dict-of 0.1.0.2
Please see the README on GitHub at https://github.com/parsonsmatt/some-dict-of#readme3 versions - Latest release: over 2 years ago - 2 dependent packages - 7 dependent repositories - 567 downloads total - 3 stars on GitHub - 1 maintainer
Top 4.0% on hackage.haskell.org
34 versions - Latest release: 3 days ago - 57 dependent packages - 291 dependent repositories - 94.6 thousand downloads total - 70 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: 3 days ago - 57 dependent packages - 291 dependent repositories - 94.6 thousand downloads total - 70 stars on GitHub - 3 maintainers
Top 8.3% on hackage.haskell.org
19 versions - Latest release: over 1 year ago - 13 dependent packages - 39 dependent repositories - 28.7 thousand downloads total - 9 stars on GitHub - 4 maintainers
constraints-extras 0.4.0.0
Convenience functions and TH for working with constraints. See README.md for example usage.19 versions - Latest release: over 1 year ago - 13 dependent packages - 39 dependent repositories - 28.7 thousand downloads total - 9 stars on GitHub - 4 maintainers
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
iterative-forward-search 0.1.0.0
An implementation of the IFS contraint satisfaction algorithm1 version - Latest release: almost 3 years ago - 113 downloads total - 1 stars on GitHub - 2 maintainers
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
trivial-constraint 0.7.0.0
A haskell typeclass that includes ALL types.8 versions - Latest release: about 3 years ago - 3 dependent packages - 9 dependent repositories - 7.36 thousand downloads total - 4 stars on GitHub - 1 maintainer
superconstraints 0.0.2
Constraint manipulation2 versions - Latest release: almost 7 years ago - 1.49 thousand downloads total - 5 stars on GitHub - 1 maintainer
constraints-deriving 1.1.1.2
The library provides a plugin to derive class instances programmatically. Please see the README o...11 versions - Latest release: about 3 years ago - 4.92 thousand downloads total - 12 stars on GitHub - 1 maintainer
pseudo-boolean 0.1.11.0
Reading/Writing OPB/WBO files used in pseudo boolean competition13 versions - Latest release: 2 months ago - 1 dependent repositories - 8.51 thousand downloads total - 3 stars on GitHub - 1 maintainer
snumber 0.3.0
3 versions - Latest release: over 2 years ago - 1 dependent repositories - 342 downloads total - 3 stars on GitHub - 1 maintainerconstraints-emerge 0.1.2 💰
This plugin allows you to write where the 'Emerge (Show c)' will automatically be discharged fo...3 versions - Latest release: about 6 years ago - 1 dependent repositories - 1.43 thousand downloads total - 18 stars on GitHub - 1 maintainer
dependent-literals 0.2.0
3 versions - Latest release: over 2 years ago - 377 downloads total - 3 stars on GitHub - 1 maintainerdependent-literals-plugin 0.1.0.2
3 versions - Latest release: over 2 years ago - 371 downloads total - 3 stars on GitHub - 1 maintainerffunctor 1.2.1
6 versions - Latest release: almost 4 years ago - 2 dependent repositories - 3.27 thousand downloads total - 1 maintainerifscs 0.2.0.0
1 version - Latest release: over 10 years ago - 1 dependent repositories - 1.39 thousand downloads total - 1 maintainer
Related Keywords
library
24
bsd3
11
apache
5
program
3
optimization
2
optimisation
2
logic
2
mit
2
sat-solver
2
gpl
2
haskell
2
monads
2
failure
2
control
2
ai
2
pseudo-boolean
1
parsing
1
data
1
theorem-prover
1
smt-solver
1
mathematical-programming
1
theorem-provers
1
smt
1
formal-methods
1
algorithms
1
deprecated
1
type-system
1
artificial-intelligence
1
bsd2
1