Skip to content

Interval domains updates using the pivot

Hichem R. A. requested to merge hra/pivot_dom_ppg into master

Added a command line option that allows updating the interval domain of all elements of a pivot class whenever the interval domain of one element of that class changes.

Also added normalization of inequalities to LE

Merge request reports