pub fn conflicting(
rerun: &mut Rerun<'_>,
state: &StateValues,
) -> GeopResult<Vec<String>>Expand description
A smallest set of the constraints of the program rerun runs, last run
with state, that cannot all hold together, by name — none where they
all hold after a solve (see solve::conflicting).