Module ddo::core::implementation::solver::parallel

This module provides the implementation of a parallel mdd solver. That is a solver that will solve the problem using as many threads as requested. By default, it uses as many threads as the number of hardware threads available on the machine.

Structs

ParallelSolver

This is the structure implementing a multi-threaded MDD solver.