Package org.ddolib.ddo.core.solver


package org.ddolib.ddo.core.solver
This package contains solvers using DDO algorithm.
  • Classes
    Class
    Description
    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).