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.