Macro decision_problem_meta 

macro_rules! decision_problem_meta {
    ($inner:ty, $name:literal) => { ... };
}

Register the decision problem name for a concrete optimization problem.