chuffed-flatzinc (0.13.1-1build1)
Details
Core information at a glance
- Distribution
- ubuntu
- Origin
- ubuntu-stonking
- Repository
- https://nl.archive.ubuntu.com/ubuntu
- Codename
- stonking
- Component
- universe
- Source
- chuffed
- Architecture
- amd64
- Section
- universe/math
- Priority
- optional
- Maintainer
- Ubuntu Developers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 1.4 kB
- Size expected
- 549 kB
- Size actual
- 549 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 | 6e93f41a…5b6cb5f3 | |
| SHA-1 | 659b103c…31646fa7 | |
| SHA-256 | 10e062e2…618c184f | |
| SHA-512 | fb67f096…ca0e7d74 |
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