hackage.haskell.org "propagation" keyword
View the packages on the hackage.haskell.org package registry that are tagged with the "propagation" 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