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

Random binary cloud:

score-linux-gnu-readelf xclips lights child_setup esdmon gfs2_tool kgpgconf asview x86_64-w64-mingw32-c++filt clog2print nopt.js jade salt-unity tcutest SpecularSpheres aesub alleyoop envy24control dicodconfig flrig gnunet-unindex i.gensig jalv.gtk ipod-time-sync linaro-media-create csv2mipe qlalr snexpire ini2spectacle promoterwise