Module ddo::core::implementation::solver::sequential

This module provides the implementation of a sequential mdd solver. That is a solver that will solve the problem on one single thread.

Structs

SequentialSolver

This is the structure implementing an single-threaded MDD solver.