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
40 stars 18 forks source link

Codac2 eigen #145

Closed damien-masse closed 3 days ago

damien-masse commented 5 days ago

Proposition to add the enclosure of matrix inversion, using eigen to compute the approximate inverse.