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:

grid-default-ca svn-clean isadump mr mpirun_rsh ola_uni_info analysis_example_openmpi arb_texture_buffer_object-dlist catkin_test_changelog mozhttpd dvihp tmail vcf-concat virt-manager as_run mixer dacsconf fastaq_to_fake_qual freehdl-config imtar ts2las medcon mknfonts dgscat pumpa mhf_server shorewall srf-load.2.3.5 xorp_ospfv3 beastat