#

rust-solver

Here is 1 public repository matching this topic...

luhanzhen / RuCos

RuCos is an extremely high-performance parallel constraint solver implemented by Rust.

rust solver parallel-computing constraint-satisfaction-problem constraint-programming constraint-solver constraint-solving-algorithm xcsp3 rust-solver

Updated Apr 16, 2024
Rust

Improve this page

Add a description, image, and links to the rust-solver topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the rust-solver topic, visit your repo's landing page and select "manage topics."