Function essential_check::solution::check

pub fn check(solution: &Solution) -> Result<(), InvalidSolution>

Validate a solution, to the extent it can be validated without reference to its associated predicates.

This includes solution data and state mutations.