Skip to content
GitLab

Simple AllDifferent constraints take much less memory.

1 job for master in 12 minutes and 59 seconds (queued for 4 seconds)
875dd60b
No related merge requests found.