Added option to compute SIVIAPaving for separators

codac-team / codac

Codac is a library for constraint programming over reals, trajectories and sets.

http://www.codac.io

GNU Lesser General Public License v3.0

39 stars 18 forks source link

Closed JulienDamers closed 2 years ago

JulienDamers commented 2 years ago

Added option to compute SIVIAPaving for separators Removed unnecessary lists to store boxes to increase computation speed