pub fn solve_layout(
constraints: &[Constraint],
total: u16,
config: &SaturationConfig,
) -> (Vec<u16>, SaturationResult)Expand description
Solve a set of layout constraints via equality saturation.
Takes a slice of constraints and the total available space. Encodes each constraint into the e-graph, runs equality saturation, and extracts the optimal size for each. Falls back to direct evaluation if the e-graph exceeds resource budgets.
Returns a Vec<u16> of solved sizes, one per constraint.