Last released Apr 11, 2024
Codac is a library providing tools for constraint programming over reals and trajectories.
Supported by