Skip to content

make IntVarValueIterator next() method throw a NoSuchElementException#682

Merged
cprudhom merged 2 commits intochocoteam:masterfrom ArthurGodet:iterExceptionApr 8, 2020
+34

Commits

Commits on Apr 7, 2020

Commits on Apr 8, 2020