Binary: fzn-gecode

CentOS packages that has this binary:

Package: gecode-devel

/usr/bin/fzn-gecode

Debian packages that has this binary:

Package: flatzinc

/usr/bin/fzn-gecode