pub const FEASIBLE_CEILING: f64 = 1e100;Expand description
Objective values at or above this are reserved for infeasible candidates
(Deb’s transformation): score = FEASIBLE_CEILING · (1 + violation).
The encoding is multiplicative because an additive 1e100 + violation
would be absorbed by the ulp of 1e100 (~1.9e84) and erase the ranking
between different violations.