Bug in converting sum to cp constraint

Issue #197 resolved
Broes De Cat created an issue

Too many variables are introduced, see e.g. sumaggterm

Comments (4)

  1. Log in to comment