gecode-flatzinc (6.2.0+git20260120-2)
Details
Core information at a glance
- Distribution
- ubuntu
- Origin
- ubuntu-stonking
- Repository
- https://nl.archive.ubuntu.com/ubuntu
- Codename
- stonking
- Component
- universe
- Source
- gecode-snapshot
- Architecture
- amd64v3
- Section
- universe/devel
- Priority
- optional
- Maintainer
- Ubuntu Developers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 12.2 kB
- Size expected
- 2.8 MB
- Size actual
- 2.8 MB
- Size match
Dependencies
Required package dependencies
Suggested packages
Recommended additional packages
- None
Description
constraint problem modelling language
Tags
Package classification tags
None
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | f31148d5…2b5c86f4 | |
| SHA-1 | ee2b500f…d705c3d9 | |
| SHA-256 | f51355b7…c6baffd2 | |
| SHA-512 | 0e3abea6…7623b00b |
Contents
Files and directories included
. usr usr/bin usr/bin/fzn-gecode usr/bin/mzn-gecode usr/share usr/share/doc usr/share/doc/gecode-flatzinc usr/share/doc/gecode-flatzinc/README.Debian usr/share/doc/gecode-flatzinc/changelog.Debian.gz usr/share/doc/gecode-flatzinc/copyright usr/share/lintian usr/share/lintian/overrides usr/share/lintian/overrides/gecode-flatzinc usr/share/minizinc usr/share/minizinc/gecode 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_sliding_among_bool.mzn usr/share/minizinc/gecode/fzn_sliding_among_int.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 usr/share/minizinc/solvers/gecode-gist.msc usr/share/minizinc/solvers/gecode.msc