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

Adaptation with diffinclusion #85

Closed damien-masse closed 2 years ago