In-depth: Solver specification

Here, we take a deeper diver into how the problem that a Solver tackles looks like, and the technical details behind the functionality of Solvers.