VERIMAG-Polyhedra/VPL

Assume_back: merge regions

Opened this issue · 0 comments

MarechalAlex commented

Assume_back requires the partition into regions to be a partition of the space of parameters.
Therefore, we need to merge subdivided regions.