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.
SolverForge Hospital Use Case
Follow a longer worked example that carries the generic CLI shell into a concrete hospital planning application.
SolverForge Lessons Use Case
Study a lesson-timetabling example with teachers, cohorts, rooms, weekly timeslots, two scalar variables, retained jobs, and timetable views.
SolverForge Deliveries Use Case
Study a route-optimization example with list variables, road-network data, retained jobs, and delivery insertion recommendations.
SolverForge FSR Use Case
Follow a field-service routing example with technicians, skills, parts, shifts, road-network travel, retained jobs, and route geometry.
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 scalar --range resources --allows-unassigned
solverforge generate data --size large
The current CLI no longer asks you to pick a modeling shape up front. Scalar
variables, list variables, and models that contain both are introduced through
generation and solverforge.app.toml after scaffolding.