pub fn minimize_certified(
feasible_at: impl Fn(i64) -> ProofExpr,
lo: i64,
hi: i64,
) -> Option<MinResult>Expand description
Binary-search [lo, hi] for the least bound with feasible_at(bound) satisfiable.
Returns None if even hi is infeasible or a query leaves the supported fragment.