Binary: mzn-gecode

CentOS packages that has this binary:

Package: gecode-devel

/usr/bin/mzn-gecode

Debian packages that has this binary:

Package: flatzinc

/usr/bin/mzn-gecode

Random binary cloud:

eqsl btt etags.emacs gfal-legacy-register Highlight mtp-albums slog2updater mozinfo moc erb sg_inq x2gobasepath apop_db_to_crosstab dvbdate freefoam-starToFoam freewheeling gfan_buchberger i.ifft jets3t-uploader gtscompare linkextractor simplecal.pl polarssl_ssl_mail_client ossim-batch-test qail science-economics gmk_m3 tardiff tlmgr xfce4-pm-helper