Camfort.Specification.Units.InferenceBackend
inconsistentConstraints
criticalVariables
inferVariables
shiftTerms
flattenConstraints
flattenUnits
constraintsToMatrix
constraintsToMatrices
rref
isInconsistentRREF
genUnitAssignments