SolverForge is a constraint programming framework and solver written in Rust. It allows you to solve any planning problem, blazing fast!
https://www.solverforge.org ↗// readme
SolverForge
Used in Production
“Working like a charm, A+” — Dr. Fawaz Halwani, Pathologist, The Ottawa Hospital
“High-level abstractions, zero-cost implementation. A masterclass in Rust architecture.” — Prof. Benjamin Abel, Computer Science, Côte d’Azur University, Nice
SolverForge is a planning engine written in Rust. It assigns scarce resources without breaking hard rules: who works which shift, which vehicle visits which stop, which task runs on which machine.
You describe the facts, the decisions the solver may make, and the rules that score a plan. SolverForge builds a feasible plan, then keeps improving it until the time or step limit you set. Your model stays ordinary Rust, and its concrete types reach the solver’s inner loop without being boxed or erased.
Get started
Most new projects start from solverforge-cli, which generates a complete app
with a web UI:
cargo install solverforge-cli
solverforge new my-scheduler
cd my-scheduler
solverforge generate fact resource --field category:String --field load:i32
solverforge generate entity task --field label:String --field priority:i32
solverforge generate variable resource_idx…