Figure 2: Block-diagram of the solving framework.