search

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 17 forks source link

Diffinclusion #102

Closed damien-masse closed 7 months ago

damien-masse commented 7 months ago

With IParals and a starting point for Polyhedra.