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:

arp2ethers dosbox g_tune_pme_d ibmonitor kbookmarkmerger mpicxx GET arb_draw_instanced-elements rsyslogd wd_role seeker mail-files ao-dbg cdfpolymask codespell enfuse-mp fallc.fal fbbgetconf h2pas-2.6.4 git-dpm kalgebra krb5-strength-wordlist ktremotetest mppi mensis keytool slugimage tuxguitar scat xx-hg-merge