backtrack-rs: combinatorial search library, help me improve it!

• backtrack-rs

  1 14 0.0 Rust

  Solve hard constraints easily with Rust.

I've been dabbling in rust for a few months and figured I could make something useful: backtrack-rs - Backtracking solver with examples.

• ddo

  2 53 7.0 Rust

  DDO a generic and efficient framework for MDD-based optimization.

On a side note, and slightly off topic (but you might like it though), you might also be interested in the DDO crate I maintain (https://github.com/xgillard/ddo). The point of ddo slightly differs from backtrack-rs as it targets constraint optimization rather than constraint satisfaction problems. DDO is written in Rust, it is fully generic and highly efficient. (In the last paper I submitted -- but has not been accepted yet -- I show an example where it fares better than Gurobi).

• InfluxDB

  www.influxdata.com featured

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• Choco

  4 673 8.5 Java

  An open-source Java library for Constraint Programming

  

- Choco (https://choco-solver.org/): state of the art trailing solver, heavily tested, easy to get started with and actively maintained. Written in Java.

Suggest a related project