Skip to main content

solve_via_decision

problemreductions::solvers::decision_search

Function solve_via_decision 

Source 
pub fn solve_via_decision<P>(
    problem: &P,
    lower: i64,
    upper: i64,
) -> Result<Option<i64>, SolveError>
where
    P: DecisionProblemMeta + Clone + 'static,
    P::Solution: 'static,
    P::Value: DecisionSearchValue,
Expand description

Recover an optimization value by querying the problem’s decision wrapper.

Uses the brute-force reference solver. Returns None only for infeasibility; an invalid interval or an optimum outside [lower, upper] is an error.