Theory
Tutorials
Public API
Command Line Interface and I/O
Developer guides
Number of objective equations.
int