Documentation
Quickstart guides for building constraint solving applications with SolverForge.
Getting Started
Start Here
CLI Quickstart
Install solverforge-cli, scaffold a new project, run the server, and extend the domain incrementally.
Employee Scheduling Tutorial
Follow a longer Rust walkthrough that explains domain modeling, constraints, and the web application in more detail.
Prerequisites
- Rust toolchain: Install via rustup.rs (stable channel)
- Cargo: Included with the Rust toolchain
- Familiarity with Rust basics (structs, traits, closures, derive macros)
Fastest Path to a Running App
cargo install solverforge-cli
solverforge new my-scheduler
cd my-scheduler
solverforge server
Open http://localhost:7860 to see the generated app shell.
Shaping the Model After Scaffolding
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 --entity Task --kind standard --range resources --allows-unassigned
solverforge generate data --size large
The current CLI no longer asks you to pick a modeling shape up front. Standard-variable, list-variable, and mixed modeling are introduced through generation and solverforge.app.toml after scaffolding.