Package - chuffed-flatzinc

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

Primary informations

Download package: http://deb.debian.org/debian/pool/main/c/chuffed/chuffed-flatzinc_0.13.1-1+b1_amd64.deb (Size: 584.5KiB)

PropertyValue
Packagechuffed-flatzinc
Sourcechuffed (0.13.1-1)
Version0.13.1-1+b1
Installed-Size1717
MaintainerDebian Science Maintainers
Architectureamd64
Dependslibc6 (>= 2.34), libgcc-s1 (>= 3.0), libmurmurhash2 (>= 0.2), libstdc++6 (>= 13.1)
Recommendsminizinc
Descriptionlazy clause generation FlatZinc implememntation
Description-md5f0116406f3a85b05fbd2e3a9fb2b0a65
Multi-Archforeign
Homepagehttps://github.com/chuffed/chuffed
Sectionmath
Priorityoptional
Filenamepool/main/c/chuffed/chuffed-flatzinc_0.13.1-1+b1_amd64.deb
Size598504
MD5sumcc33f844e0c2bad55d88fa07c92f4f7f
SHA2562963bc6909b94326d19def84be7ef13508957172caa15b658d4f324f68903750

Files in package

  • /usr/bin/fzn-chuffed
  • /usr/share/doc/chuffed-flatzinc/changelog.Debian.amd64.gz
  • /usr/share/doc/chuffed-flatzinc/changelog.Debian.gz
  • /usr/share/doc/chuffed-flatzinc/copyright
  • /usr/share/minizinc/chuffed/chuffed.mzn
  • /usr/share/minizinc/chuffed/edit_distance.mzn
  • /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/chuffed.msc