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:

bextract centrino-decode skillgui gdbtui g_energy guilt-add amqp-delete-queue ng4ex php-fpm sg_xcopy sss_ssh_authorizedkeys apertium-transfer clear_console symphony authenumerate cvm-qmail diodls dtc-xen_finish_install fuseiso9660 cvs-pserver fvwm-crystal.play-movies gfs2_jadd git-undo checkPerlDependencies.bash linuxlogo mapgen_clip MSProject.pm nam png2html stub_package_list