codac-team / codac

Codac is a library for constraint programming over reals, trajectories and sets.
http://www.codac.io
GNU Lesser General Public License v3.0
39 stars 17 forks source link

Implementing CtcCartProd the cartesian product of two contractors #65

Closed Teusner closed 2 years ago

Teusner commented 2 years ago

Implementing the cartesian product of two contractors.

TODO:

SimonRohou commented 2 years ago

Thanks! Commits have been merged in dev with Python binding + Python tests.

Tests are running well on my computer, but not here: https://github.com/codac-team/codac/runs/6388570720?check_suite_focus=true

For the documentation, explanations about the involved symbols would be nice, with a small figure :)