- continued generalization of DisequalitiesConstraintForSingleVariable towards NonEqualityConstraintForSingleVariable.
- continued generalization of DisequalitiesConstraintForSingleVariable towards NonEqualityConstraintForSingleVariable.
aic-sri-international/aic-util,aic-sri-international/aic-util