Package - gecode-flatzinc

Package:  gecode-flatzinc
apt-get install gecode-flatzinc
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/g/gecode-snapshot/gecode-flatzinc_6.2.0+git20240207-2_amd64.deb (Size: 2.8MiB)

PropertyValue
Packagegecode-flatzinc
Sourcegecode-snapshot
Version6.2.0+git20240207-2
Installed-Size15157
MaintainerKari Pahula
Architectureamd64
Replacesflatzinc (<< 6.2.0+git20240207)
Providesflatzinc
Dependslibc6 (>= 2.38), libgcc-s1 (>= 3.0), libmpfr6 (>= 3.1.3), libqt6core6t64 (>= 6.7.2), libqt6gui6 (>= 6.1.2), libqt6printsupport6 (>= 6.1.2), libqt6widgets6 (>= 6.3.0), libstdc++6 (>= 14)
Recommendsminizinc
Breaksflatzinc (<< 6.2.0+git20240207)
Descriptionconstraint problem modelling language
Description-md5486b334408c9bd535763a3ec21daec84
Homepagehttps://www.gecode.org/flatzinc.html
Sectiondevel
Priorityoptional
Filenamepool/main/g/gecode-snapshot/gecode-flatzinc_6.2.0+git20240207-2_amd64.deb
Size2969876
MD5sum97b8a74a63c48c443b3de193e2d0151c
SHA25665dc23794bf7a3b9538c0bcf455605dd0ad71038ddfe3739963177e7e4bd0404

Files in package

  • /usr/bin/fzn-gecode
  • /usr/bin/mzn-gecode
  • /usr/share/doc/gecode-flatzinc/README.Debian
  • /usr/share/doc/gecode-flatzinc/changelog.Debian.gz
  • /usr/share/doc/gecode-flatzinc/changelog.gz
  • /usr/share/doc/gecode-flatzinc/copyright
  • /usr/share/lintian/overrides/gecode-flatzinc
  • /usr/share/minizinc/gecode/fzn_all_different_int.mzn
  • /usr/share/minizinc/gecode/fzn_all_equal_int.mzn
  • /usr/share/minizinc/gecode/fzn_alldifferent_except_0.mzn
  • /usr/share/minizinc/gecode/fzn_among.mzn
  • /usr/share/minizinc/gecode/fzn_arg_max_bool.mzn
  • /usr/share/minizinc/gecode/fzn_arg_max_int.mzn
  • /usr/share/minizinc/gecode/fzn_arg_min_bool.mzn
  • /usr/share/minizinc/gecode/fzn_arg_min_int.mzn
  • /usr/share/minizinc/gecode/fzn_at_least_int.mzn
  • /usr/share/minizinc/gecode/fzn_at_least_set.mzn
  • /usr/share/minizinc/gecode/fzn_at_most_int.mzn
  • /usr/share/minizinc/gecode/fzn_at_most_set.mzn
  • /usr/share/minizinc/gecode/fzn_bin_packing.mzn
  • /usr/share/minizinc/gecode/fzn_bin_packing_capa.mzn
  • /usr/share/minizinc/gecode/fzn_bin_packing_load.mzn
  • /usr/share/minizinc/gecode/fzn_circuit.mzn
  • /usr/share/minizinc/gecode/fzn_count_eq.mzn
  • /usr/share/minizinc/gecode/fzn_count_eq_reif.mzn
  • /usr/share/minizinc/gecode/fzn_cumulative.mzn
  • /usr/share/minizinc/gecode/fzn_cumulative_opt.mzn
  • /usr/share/minizinc/gecode/fzn_cumulatives.mzn
  • /usr/share/minizinc/gecode/fzn_decreasing_bool.mzn
  • /usr/share/minizinc/gecode/fzn_decreasing_int.mzn
  • /usr/share/minizinc/gecode/fzn_diffn.mzn
  • /usr/share/minizinc/gecode/fzn_disjoint.mzn
  • /usr/share/minizinc/gecode/fzn_disjunctive_strict.mzn
  • /usr/share/minizinc/gecode/fzn_disjunctive_strict_opt.mzn
  • /usr/share/minizinc/gecode/fzn_exactly_set.mzn
  • /usr/share/minizinc/gecode/fzn_global_cardinality.mzn
  • /usr/share/minizinc/gecode/fzn_global_cardinality_closed.mzn
  • /usr/share/minizinc/gecode/fzn_global_cardinality_low_up.mzn
  • /usr/share/minizinc/gecode/fzn_global_cardinality_low_up_closed.mzn
  • /usr/share/minizinc/gecode/fzn_increasing_bool.mzn
  • /usr/share/minizinc/gecode/fzn_increasing_int.mzn
  • /usr/share/minizinc/gecode/fzn_int_set_channel.mzn
  • /usr/share/minizinc/gecode/fzn_inverse.mzn
  • /usr/share/minizinc/gecode/fzn_inverse_set.mzn
  • /usr/share/minizinc/gecode/fzn_lex_less_bool.mzn
  • /usr/share/minizinc/gecode/fzn_lex_less_int.mzn
  • /usr/share/minizinc/gecode/fzn_lex_lesseq_bool.mzn
  • /usr/share/minizinc/gecode/fzn_lex_lesseq_int.mzn
  • /usr/share/minizinc/gecode/fzn_link_set_to_booleans.mzn
  • /usr/share/minizinc/gecode/fzn_member_bool.mzn
  • /usr/share/minizinc/gecode/fzn_member_bool_reif.mzn
  • /usr/share/minizinc/gecode/fzn_member_int.mzn
  • /usr/share/minizinc/gecode/fzn_member_int_reif.mzn
  • /usr/share/minizinc/gecode/fzn_nvalue.mzn
  • /usr/share/minizinc/gecode/fzn_partition_set.mzn
  • /usr/share/minizinc/gecode/fzn_range.mzn
  • /usr/share/minizinc/gecode/fzn_regular.mzn
  • /usr/share/minizinc/gecode/fzn_roots.mzn
  • /usr/share/minizinc/gecode/fzn_sort.mzn
  • /usr/share/minizinc/gecode/fzn_sum_pred.mzn
  • /usr/share/minizinc/gecode/fzn_sum_set.mzn
  • /usr/share/minizinc/gecode/fzn_table_bool.mzn
  • /usr/share/minizinc/gecode/fzn_table_bool_reif.mzn
  • /usr/share/minizinc/gecode/fzn_table_int.mzn
  • /usr/share/minizinc/gecode/fzn_table_int_reif.mzn
  • /usr/share/minizinc/gecode/fzn_value_precede_int.mzn
  • /usr/share/minizinc/gecode/fzn_value_precede_set.mzn
  • /usr/share/minizinc/gecode/gecode.mzn
  • /usr/share/minizinc/gecode/redefinitions-2.0.2.mzn
  • /usr/share/minizinc/gecode/redefinitions-2.0.mzn
  • /usr/share/minizinc/gecode/redefinitions-2.2.1.mzn
  • /usr/share/minizinc/gecode/redefinitions-2.5.2.mzn
  • /usr/share/minizinc/gecode/redefinitions.mzn
  • /usr/share/minizinc/solvers/gecode-gist.msc
  • /usr/share/minizinc/solvers/gecode.msc