Theory
Tutorials
Public API
Command Line Interface and I/O
Developer guides
Print the value of the objective.