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

Do not try to add degenerated slices when truncating on tdomain #94

Closed TilletJ closed 1 year ago

TilletJ commented 1 year ago

Add corresponding test

SimonRohou commented 1 year ago

Thanks, Joris! :+1: