3 ms·

see also https://github.com/Gecode/gecode https://github.com/Gecode/gecode

• mzl 1y ago
  Note, the release/6.3.0 branch is the current release.