Codac: constraint-programming for roboticsΒΆ