pub fn solve_grid(input: &str) -> Option<SolvedGrid>Expand description
SOLVE the whole grid for the studio (the form-recognized easter egg): re-parse the
theorem and, if it is a finite-domain grid, fill every cell the certified prover can
force. None for a non-grid theorem.