crates.io "constraint-programming" keyword
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: over 2 years ago - 1.54 thousand downloads total - 2 stars on GitHub - 1 maintainer
greyjack 0.5.0
Rust version of GreyJack Solver for constraint continuous, integer, mixed integer optimization pr...10 versions - Latest release: 8 months ago - 5.93 thousand downloads total - 1 stars on GitHub - 1 maintainer
pumpkin-core 0.3.0
The core of the Pumpkin constraint programming solver.3 versions - Latest release: 28 days ago - 887 downloads total - 51 stars on GitHub - 1 maintainer
drcp-format 0.3.1
Parse and write DRCP and literal definition files.5 versions - Latest release: 29 days ago - 5.08 thousand downloads total - 51 stars on GitHub - 1 maintainer
zelen 0.5.1
Direct MiniZinc to Selen Solver9 versions - Latest release: 4 months ago - 1.74 thousand downloads total - 1 stars on GitHub - 1 maintainer
pumpkin-solver 0.3.0
The Pumpkin combinatorial optimisation solver library.9 versions - Latest release: 28 days ago - 6.61 thousand downloads total - 54 stars on GitHub - 1 maintainer
libpcp 0.7.0
A constraint solver supporting arithmetic constraints over integers.4 versions - Latest release: about 3 years ago - 1 dependent repositories - 6.55 thousand downloads total - 110 stars on GitHub - 1 maintainer
ddo 2.0.0
DDO a generic and efficient framework for MDD-based optimization.30 versions - Latest release: about 2 years ago - 1 dependent repositories - 43.6 thousand downloads total - 62 stars on GitHub - 1 maintainer
Related Keywords
rust
6
cp
4
solver
4
combinatorial
3
csp
3
lazy-clause-generation
3
lcg
3
proof-logging
3
constraint-solver
2
constraint
2
constraint-satisfaction-problem
2
optimization
2
operations-research
2
constraint-optimisation-problem
2
puzzle
1
minizinc
1
vrptw
1
flatzinc
1
minizinc-lang
1
selen
1
satisfiability
1
solving
1
decision-diagrams
1
ddo
1
discrete-optimization
1
parser
1
xml
1
xcsp3
1
constraints
1
parsing-library
1
greyjack
1
metaheuristic
1
polars
1
ai
1
constrained-optimization
1
genetic-algorithm
1
optimization-algorithms
1
optimizer
1
scheduling-algorithms
1
solver-algorithm
1
solver-library
1
vrp
1