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:

fflaser_deadspots fence_ilo_moonshot RunSimTest reset_pw.pyo mdb-sql mysql-zrm-abort-backup pamperspective pcl_viewer igraph ipython update.sh count_extensions wsdlpull amavisd-agent sdcpp c_incl grabc wifichoice.sh bpsource fld nfswatch ocamldumpobj prt rabbitmqctl rc.pl testhost tvoe uim-toolbar-gtk3 uim-m17nlib-relink-icons mkbkv2hvf