crates.io "constraint-satisfaction-problem" keyword
View the packages on the crates.io package registry that are tagged with the "constraint-satisfaction-problem" keyword.
ingrid_core 1.3.1
Crossword-generating library and CLI tool5 versions - Latest release: over 1 year ago - 7.36 thousand downloads total - 54 stars on GitHub - 1 maintainer
ddo 2.0.0
DDO a generic and efficient framework for MDD-based optimization.30 versions - Latest release: over 1 year ago - 1 dependent repositories - 37.4 thousand downloads total - 62 stars on GitHub - 1 maintainer