crates.io "constraint-programming" keyword
View the packages on the crates.io package registry that are tagged with the "constraint-programming" keyword.
greyjack 0.4.13
Rust version of GreyJack Solver for constraint continuous, integer, mixed integer optimization pr...9 versions - Latest release: 4 months ago - 4.19 thousand downloads total - 0 stars on GitHub - 1 maintainer
libpcp 0.7.0
A constraint solver supporting arithmetic constraints over integers.4 versions - Latest release: over 2 years ago - 1 dependent repositories - 5.6 thousand downloads total - 109 stars on GitHub - 1 maintainer
xcsp3-rust 0.1.0
xcsp3-rust is a library that help constraint programming solvers implemented by Rust to read XCSP...1 version - Latest release: almost 2 years ago - 1.28 thousand downloads total - 2 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
Related Keywords
combinatorial
3
solver
3
rust
3
optimization
2
csp
2
operations-research
2
constraint-optimisation-problem
2
constraint
1
solving
1
parser
1
xml
1
xcsp3
1
constraints
1
parsing-library
1
decision-diagrams
1
cp
1
constraint-satisfaction-problem
1
ddo
1
discrete-optimization
1
satisfiability
1
vrptw
1
vrp
1
solver-library
1
solver-algorithm
1
scheduling-algorithms
1
optimizer
1
optimization-algorithms
1
genetic-algorithm
1
constraint-solver
1
constrained-optimization
1
ai
1
polars
1
metaheuristic
1
greyjack
1