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