There was an error while loading. Please reload this page.
Release 6.2.0
Change table and regular predicates to take 1d arrays as arguments
Gecode release 6.1.0
Contains some fixes