Updated example 1 and 2 with Lohner and updated doc

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