Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

hackage.haskell.org "constraint-solver" keyword

View the packages on the hackage.haskell.org package registry that are tagged with the "constraint-solver" keyword.

holmes 0.3.2.0
A reference library for constraint-solving with propagators and CDCL.
6 versions - Latest release: over 4 years ago - 1 dependent repositories - 1.47 thousand downloads total - 306 stars on GitHub - 1 maintainer
Related Keywords
data 1 library 1 mit 1 Propose Tags 1 backtracking 1 logic-programming 1 propagation 1