constraint-programming
Here are 8 public repositories matching this topic...
DDO a generic and efficient framework for MDD-based optimization.
-
Updated
Apr 29, 2025 - Rust
A Lazy Clause Generation solver with a focus on modularity and maintainability in addition to speed
-
Updated
May 7, 2025 - Rust
Modelling n-queens problem as conjunctive normal form and solving it with DPLL algorithm. This project should made me familiar with Rust and the test driven approach.
-
Updated
Jul 20, 2017 - Rust
The purpose of this library is to read XCSP files into rust constraint programming solvers.
-
Updated
Sep 14, 2023 - Rust
RuCos is an extremely high-performance parallel constraint solver implemented by Rust.
-
Updated
Apr 16, 2024 - Rust
GreyJack Solver is the metaheuristic constraint solver for continuous, integer, mixed integer problems built on top of Polars
-
Updated
Mar 27, 2025 - Rust
GreyJack Solver is a "jack of all trades" constraint metaheuristic solver for Python, built on the robust foundations of Rust and Polars
-
Updated
Apr 27, 2025 - Rust
Improve this page
Add a description, image, and links to the constraint-programming topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the constraint-programming topic, visit your repo's landing page and select "manage topics."