# Solvers

The input to solvers are standard file formats that are described on the Formats page.
Benchmarks for evaluating solvers are available on the Benchmarks page.