slang::SolveBeforeConstraint class

Represents a constraint that enforces ordering of solving variables.