gecode-flatzinc (6.2.0+git20240207-2)
3 versions available in kali/kali-last-snapshot/main/i386
Details
Core information at a glance
- Distribution
- kali
- Origin
- kali-last-snapshot
- Repository
- https://http.kali.org/kali
- Codename
- kali-last-snapshot
- Component
- main
- Source
- gecode-snapshot
- Architecture
- i386
- Section
- devel
- Priority
- optional
- Maintainer
- Kari Pahula <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 15.2 kB
- Size expected
- 3.1 MB
- Size actual
- 3.1 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 | 6bacb703…64826d1a | |
| SHA-1 | 3fde7e8c…6460b28a | |
| SHA-256 | cbf45f2e…4926cb4b | |
| SHA-512 | 8a374227…f2e56b3f |
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/changelog.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_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