Last released Oct 7, 2026
Codac is a library providing tools for constraint programming over reals and trajectories.