chuffed-flatzinc (0.13.1-1build1)
Details
Core information at a glance
- Distribution
- ubuntu
- Origin
- ubuntu-stonking
- Repository
- https://ports.ubuntu.com
- Codename
- stonking
- Component
- universe
- Source
- chuffed
- Architecture
- ppc64el
- Section
- universe/math
- Priority
- optional
- Maintainer
- Ubuntu Developers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 1.8 kB
- Size expected
- 598.6 kB
- Size actual
- 598.6 kB
- Size match
Dependencies
Required package dependencies
Suggested packages
Recommended additional packages
- None
Description
lazy clause generation FlatZinc implememntation
Tags
Package classification tags
None
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | 7fa33829…27b614a4 | |
| SHA-1 | 9a7486c6…7c7af9e5 | |
| SHA-256 | f9a67b37…ce33e77c | |
| SHA-512 | 39cfee92…fd382142 |
Contents
Files and directories included
. usr usr/bin usr/bin/fzn-chuffed usr/share usr/share/doc usr/share/doc/chuffed-flatzinc usr/share/doc/chuffed-flatzinc/changelog.Debian.gz usr/share/doc/chuffed-flatzinc/copyright usr/share/minizinc usr/share/minizinc/chuffed usr/share/minizinc/chuffed/chuffed.mzn usr/share/minizinc/chuffed/edit_distance.mzn usr/share/minizinc/chuffed/experimental usr/share/minizinc/chuffed/experimental/on_restart usr/share/minizinc/chuffed/experimental/on_restart/fzn_on_restart_complete.mzn usr/share/minizinc/chuffed/experimental/on_restart/fzn_on_restart_last_val_bool.mzn usr/share/minizinc/chuffed/experimental/on_restart/fzn_on_restart_last_val_int.mzn usr/share/minizinc/chuffed/experimental/on_restart/fzn_on_restart_sol_bool.mzn usr/share/minizinc/chuffed/experimental/on_restart/fzn_on_restart_sol_int.mzn usr/share/minizinc/chuffed/experimental/on_restart/fzn_on_restart_status.mzn usr/share/minizinc/chuffed/experimental/on_restart/fzn_on_restart_uniform_int.mzn usr/share/minizinc/chuffed/fzn_all_different_int.mzn usr/share/minizinc/chuffed/fzn_arg_max_bool.mzn usr/share/minizinc/chuffed/fzn_bounded_dpath_int.mzn usr/share/minizinc/chuffed/fzn_circuit.mzn usr/share/minizinc/chuffed/fzn_connected.mzn usr/share/minizinc/chuffed/fzn_cost_regular.mzn usr/share/minizinc/chuffed/fzn_count_eq.mzn usr/share/minizinc/chuffed/fzn_count_eq_par.mzn usr/share/minizinc/chuffed/fzn_count_geq.mzn usr/share/minizinc/chuffed/fzn_count_geq_par.mzn usr/share/minizinc/chuffed/fzn_count_gt.mzn usr/share/minizinc/chuffed/fzn_count_gt_par.mzn usr/share/minizinc/chuffed/fzn_count_leq.mzn usr/share/minizinc/chuffed/fzn_count_leq_par.mzn usr/share/minizinc/chuffed/fzn_count_lt.mzn usr/share/minizinc/chuffed/fzn_count_lt_par.mzn usr/share/minizinc/chuffed/fzn_cumulative.mzn usr/share/minizinc/chuffed/fzn_dag.mzn usr/share/minizinc/chuffed/fzn_disjunctive.mzn usr/share/minizinc/chuffed/fzn_disjunctive_strict.mzn usr/share/minizinc/chuffed/fzn_distribute.mzn usr/share/minizinc/chuffed/fzn_dpath_int.mzn usr/share/minizinc/chuffed/fzn_dtree_int.mzn usr/share/minizinc/chuffed/fzn_global_cardinality_low_up.mzn usr/share/minizinc/chuffed/fzn_inverse.mzn usr/share/minizinc/chuffed/fzn_nvalue.mzn usr/share/minizinc/chuffed/fzn_regular.mzn usr/share/minizinc/chuffed/fzn_seq_precede_chain_int.mzn usr/share/minizinc/chuffed/fzn_steiner.mzn usr/share/minizinc/chuffed/fzn_subcircuit.mzn usr/share/minizinc/chuffed/fzn_table_int.mzn usr/share/minizinc/chuffed/fzn_tree_int.mzn usr/share/minizinc/chuffed/fzn_value_precede_int.mzn usr/share/minizinc/chuffed/redefinitions.mzn usr/share/minizinc/chuffed/values_interchange.mzn usr/share/minizinc/chuffed/values_sequences.mzn usr/share/minizinc/chuffed/variables_interchange.mzn usr/share/minizinc/chuffed/variables_sequences.mzn usr/share/minizinc/solvers usr/share/minizinc/solvers/chuffed.msc