Package org.ddolib.ddo.core.solver
package org.ddolib.ddo.core.solver
This package contains solvers using DDO algorithm.
-
ClassesClassDescriptionExactSolver<T>Solver that compiles a single exact decision diagram (MDD) to find the optimal solution.A solver that compile one relaxed MDD from the root node.A solver that compile one relaxed MDD from the root node.A sequential implementation of a Branch-and-Bound solver based on Multi-valued Decision Diagrams (MDDs).