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