Codac is a library for constraint programming over reals, trajectories and sets.
No resources for this project.