search

Gecode / gecode

Generic Constraint Development Environment
https://www.gecode.org
Other
283 stars 76 forks source link

nooverlap hangs with number of points exceeding the size of the area #143

Open yurivict opened 2 years ago

yurivict commented 2 years ago

Describe the bug

A simple nooverlap instruction for 12 (X,Y) coordinates on 10x10 matrix hangs.

To Reproduce Testcase that hangs: testcase-nooverlap.cpp.txt

If N in the above testcase is changed from 12 to 11 it returns a solution immediately.

Gecode and Platform Configuration Version: 6.3.0 FreeBSD 13