#

xcsp3

Here are 2 public repositories matching this topic...

luhanzhen / xcsp3-rust

The purpose of this library is to read XCSP files into rust constraint programming solvers.

rust parser constraints constraint-programming parsing-library constraint-optimisation-problem xcsp3

Updated Sep 14, 2023
Rust

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 xcsp3 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 xcsp3 topic, visit your repo's landing page and select "manage topics."