Function conflicting 

pub fn conflicting(
    run: Run<'_>,
    state: &StateValues,
    problem: &Problem<'_>,
) -> GeopResult<Vec<String>>

A smallest set of the constraints of the program run runs that cannot all hold together — none, where they all hold after a solve from state (see System::conflicting), by name.