User Guides

We provide user guides for common workflows. Each guide assumes you have already installed formulation-bench (see Installation).

• Downloading the dataset
• Adding a new problem
• Adding a new formulation
• Compiling Lean files

Also see the FLARE user guide for running FLARE on FormulationBench.

Note

For general development information, see the AGENTS.md.