Camfort.Specification.Units.InferenceBackend

inconsistentConstraints

criticalVariables

inferVariables

shiftTerms

flattenConstraints

flattenUnits

constraintsToMatrix

rref

isInconsistentRREF