Codac is a library for constraint programming over reals, trajectories and sets.
GNU Lesser General Public License v3.0
40
stars
18
forks
source link
Catch2 stored internally+All configurations should now use GAOL #136
Closed
lebarsfa closed 2 weeks ago