Overview

Introduce the problem types and solvers supported by this platform