Open niklasdewally opened 2 days ago
This rule is redundant, as we now do this directly in the solver interface (#473).
This rule is redundant, as we now do this directly in the solver interface (#473).