# User Guides

We provide user guides for common workflows. Each guide assumes you have already installed `formulation-bench` (see {doc}`../installation`).

```{toctree}
:maxdepth: 1

download
add_problem
add_formulation
build_lean
```

Also see the {mf}`FLARE user guide </user_guide/run_flare.html>` for running `FLARE` on FormulationBench.

:::{note}
For general development information, see the {github}`AGENTS.md </blob/main/packages/formulation_bench/AGENTS.md>`.
:::