File list of package minizinc in xenial of architecture amd64

/usr/bin/mzn2doc
/usr/bin/mzn2fzn
/usr/bin/solns2out
/usr/share/doc-base/minizinc
/usr/share/doc/minizinc/README
/usr/share/doc/minizinc/README.Debian
/usr/share/doc/minizinc/changelog.Debian.gz
/usr/share/doc/minizinc/copyright
/usr/share/doc/minizinc/examples/functions/warehouses.mzn
/usr/share/doc/minizinc/examples/new_syntax/array_index_set.mzn
/usr/share/doc/minizinc/examples/new_syntax/extended_let.mzn
/usr/share/doc/minizinc/examples/new_syntax/var_if.mzn
/usr/share/doc/minizinc/examples/option_types/compatible_assignment_opt.mzn
/usr/share/doc/minizinc/examples/option_types/extended_comprehensions.mzn
/usr/share/doc/minizinc/examples/option_types/fjsp.mzn.gz
/usr/share/doc/minizinc/html/MiniZn_logo.jpg
/usr/share/doc/minizinc/html/doc-annotations-general.html
/usr/share/doc/minizinc/html/doc-annotations-prop.html
/usr/share/doc/minizinc/html/doc-annotations-search.html
/usr/share/doc/minizinc/html/doc-annotations.html
/usr/share/doc/minizinc/html/doc-builtins-arithmetic.html
/usr/share/doc/minizinc/html/doc-builtins-array.html
/usr/share/doc/minizinc/html/doc-builtins-coercion.html
/usr/share/doc/minizinc/html/doc-builtins-compare.html
/usr/share/doc/minizinc/html/doc-builtins-debug.html
/usr/share/doc/minizinc/html/doc-builtins-explog.html
/usr/share/doc/minizinc/html/doc-builtins-logic.html
/usr/share/doc/minizinc/html/doc-builtins-random.html
/usr/share/doc/minizinc/html/doc-builtins-reflect.html
/usr/share/doc/minizinc/html/doc-builtins-set.html
/usr/share/doc/minizinc/html/doc-builtins-sort.html
/usr/share/doc/minizinc/html/doc-builtins-special.html
/usr/share/doc/minizinc/html/doc-builtins-string.html
/usr/share/doc/minizinc/html/doc-builtins-trigonometric.html
/usr/share/doc/minizinc/html/doc-builtins.html
/usr/share/doc/minizinc/html/doc-flatzinc.html
/usr/share/doc/minizinc/html/doc-globals-alldifferent.html
/usr/share/doc/minizinc/html/doc-globals-channeling.html
/usr/share/doc/minizinc/html/doc-globals-counting.html
/usr/share/doc/minizinc/html/doc-globals-extensional.html
/usr/share/doc/minizinc/html/doc-globals-lexicographic.html
/usr/share/doc/minizinc/html/doc-globals-packing.html
/usr/share/doc/minizinc/html/doc-globals-scheduling.html
/usr/share/doc/minizinc/html/doc-globals-sort.html
/usr/share/doc/minizinc/html/doc-globals.html
/usr/share/doc/minizinc/html/doc-options.html
/usr/share/doc/minizinc/html/doc-optiontypes-bool.html
/usr/share/doc/minizinc/html/doc-optiontypes-int.html
/usr/share/doc/minizinc/html/doc-optiontypes.html
/usr/share/doc/minizinc/html/doc.html
/usr/share/doc/minizinc/html/footer.html
/usr/share/doc/minizinc/html/header.html
/usr/share/doc/minizinc/html/style.css
/usr/share/doc/minizinc/minizinc-spec.pdf
/usr/share/minizinc/g12_fd/all_different_int.mzn
/usr/share/minizinc/g12_fd/cumulative.mzn
/usr/share/minizinc/g12_fd/global_cardinality_low_up.mzn
/usr/share/minizinc/g12_lazyfd/all_different_int.mzn
/usr/share/minizinc/g12_lazyfd/redefinitions.mzn
/usr/share/minizinc/gecode
/usr/share/minizinc/linear/all_different_int.mzn
/usr/share/minizinc/linear/domain_encodings.mzn
/usr/share/minizinc/linear/inverse.mzn
/usr/share/minizinc/linear/redefinitions-2.0.2.mzn
/usr/share/minizinc/linear/redefinitions-2.0.mzn
/usr/share/minizinc/linear/redefinitions.mzn
/usr/share/minizinc/linear/table_int.mzn
/usr/share/minizinc/linear_new/CHANGELOG.txt
/usr/share/minizinc/linear_new/all_different_int.mzn
/usr/share/minizinc/linear_new/alldifferent_except_0.mzn
/usr/share/minizinc/linear_new/circuit.mzn
/usr/share/minizinc/linear_new/cumulative.mzn
/usr/share/minizinc/linear_new/domain_encodings.mzn
/usr/share/minizinc/linear_new/inverse.mzn
/usr/share/minizinc/linear_new/lex_lesseq_bool.mzn
/usr/share/minizinc/linear_new/redefinitions-2.0.2.mzn
/usr/share/minizinc/linear_new/redefinitions-2.0.mzn
/usr/share/minizinc/linear_new/redefinitions.mzn
/usr/share/minizinc/linear_new/regular.mzn
/usr/share/minizinc/linear_new/subcircuit.mzn
/usr/share/minizinc/linear_new/subcircuit_wDummy.mzn
/usr/share/minizinc/linear_new/table_int.mzn
/usr/share/minizinc/nosets/redefinitions.mzn
/usr/share/minizinc/std/all_different.mzn
/usr/share/minizinc/std/all_different_int.mzn
/usr/share/minizinc/std/all_different_set.mzn
/usr/share/minizinc/std/all_disjoint.mzn
/usr/share/minizinc/std/all_equal.mzn
/usr/share/minizinc/std/all_equal_int.mzn
/usr/share/minizinc/std/all_equal_set.mzn
/usr/share/minizinc/std/alldifferent.mzn
/usr/share/minizinc/std/alldifferent_except_0.mzn
/usr/share/minizinc/std/alternative.mzn
/usr/share/minizinc/std/among.mzn
/usr/share/minizinc/std/among_fn.mzn
/usr/share/minizinc/std/arg_max.mzn
/usr/share/minizinc/std/arg_max_float.mzn
/usr/share/minizinc/std/arg_max_int.mzn
/usr/share/minizinc/std/arg_min.mzn
/usr/share/minizinc/std/arg_min_float.mzn
/usr/share/minizinc/std/arg_min_int.mzn
/usr/share/minizinc/std/arg_sort.mzn
/usr/share/minizinc/std/arg_sort_float.mzn
/usr/share/minizinc/std/arg_sort_int.mzn
/usr/share/minizinc/std/at_least.mzn
/usr/share/minizinc/std/at_least_int.mzn
/usr/share/minizinc/std/at_least_set.mzn
/usr/share/minizinc/std/at_most.mzn
/usr/share/minizinc/std/at_most1.mzn
/usr/share/minizinc/std/at_most_int.mzn
/usr/share/minizinc/std/at_most_set.mzn
/usr/share/minizinc/std/atleast.mzn
/usr/share/minizinc/std/atmost.mzn
/usr/share/minizinc/std/atmost1.mzn
/usr/share/minizinc/std/bin_packing.mzn
/usr/share/minizinc/std/bin_packing_capa.mzn
/usr/share/minizinc/std/bin_packing_load.mzn
/usr/share/minizinc/std/bin_packing_load_fn.mzn
/usr/share/minizinc/std/builtins.mzn
/usr/share/minizinc/std/circuit.mzn
/usr/share/minizinc/std/comparison_rel_array.mzn
/usr/share/minizinc/std/count.mzn
/usr/share/minizinc/std/count_eq.mzn
/usr/share/minizinc/std/count_fn.mzn
/usr/share/minizinc/std/count_geq.mzn
/usr/share/minizinc/std/count_gt.mzn
/usr/share/minizinc/std/count_leq.mzn
/usr/share/minizinc/std/count_lt.mzn
/usr/share/minizinc/std/count_neq.mzn
/usr/share/minizinc/std/cumulative.mzn
/usr/share/minizinc/std/cumulative_opt.mzn
/usr/share/minizinc/std/decreasing.mzn
/usr/share/minizinc/std/decreasing_bool.mzn
/usr/share/minizinc/std/decreasing_float.mzn
/usr/share/minizinc/std/decreasing_int.mzn
/usr/share/minizinc/std/decreasing_set.mzn
/usr/share/minizinc/std/diffn.mzn
/usr/share/minizinc/std/diffn_k.mzn
/usr/share/minizinc/std/diffn_nonstrict.mzn
/usr/share/minizinc/std/diffn_nonstrict_k.mzn
/usr/share/minizinc/std/disjoint.mzn
/usr/share/minizinc/std/disjunctive.mzn
/usr/share/minizinc/std/disjunctive_opt.mzn
/usr/share/minizinc/std/disjunctive_strict.mzn
/usr/share/minizinc/std/disjunctive_strict_opt.mzn
/usr/share/minizinc/std/distribute.mzn
/usr/share/minizinc/std/distribute_fn.mzn
/usr/share/minizinc/std/element.mzn
/usr/share/minizinc/std/element_bool.mzn
/usr/share/minizinc/std/element_float.mzn
/usr/share/minizinc/std/element_int.mzn
/usr/share/minizinc/std/element_set.mzn
/usr/share/minizinc/std/exactly.mzn
/usr/share/minizinc/std/exactly_int.mzn
/usr/share/minizinc/std/exactly_set.mzn
/usr/share/minizinc/std/flatzinc_builtins.mzn
/usr/share/minizinc/std/geost.mzn
/usr/share/minizinc/std/global_cardinality.mzn
/usr/share/minizinc/std/global_cardinality_closed.mzn
/usr/share/minizinc/std/global_cardinality_closed_fn.mzn
/usr/share/minizinc/std/global_cardinality_fn.mzn
/usr/share/minizinc/std/global_cardinality_low_up.mzn
/usr/share/minizinc/std/global_cardinality_low_up_closed.mzn
/usr/share/minizinc/std/globals.mzn
/usr/share/minizinc/std/increasing.mzn
/usr/share/minizinc/std/increasing_bool.mzn
/usr/share/minizinc/std/increasing_float.mzn
/usr/share/minizinc/std/increasing_int.mzn
/usr/share/minizinc/std/increasing_set.mzn
/usr/share/minizinc/std/int_set_channel.mzn
/usr/share/minizinc/std/inverse.mzn
/usr/share/minizinc/std/inverse_fn.mzn
/usr/share/minizinc/std/inverse_set.mzn
/usr/share/minizinc/std/knapsack.mzn
/usr/share/minizinc/std/lex2.mzn
/usr/share/minizinc/std/lex_greater.mzn
/usr/share/minizinc/std/lex_greatereq.mzn
/usr/share/minizinc/std/lex_less.mzn
/usr/share/minizinc/std/lex_less_bool.mzn
/usr/share/minizinc/std/lex_less_float.mzn
/usr/share/minizinc/std/lex_less_int.mzn
/usr/share/minizinc/std/lex_less_set.mzn
/usr/share/minizinc/std/lex_lesseq.mzn
/usr/share/minizinc/std/lex_lesseq_bool.mzn
/usr/share/minizinc/std/lex_lesseq_float.mzn
/usr/share/minizinc/std/lex_lesseq_int.mzn
/usr/share/minizinc/std/lex_lesseq_set.mzn
/usr/share/minizinc/std/link_set_to_booleans.mzn
/usr/share/minizinc/std/maximum.mzn
/usr/share/minizinc/std/member.mzn
/usr/share/minizinc/std/member_bool.mzn
/usr/share/minizinc/std/member_float.mzn
/usr/share/minizinc/std/member_int.mzn
/usr/share/minizinc/std/member_set.mzn
/usr/share/minizinc/std/minimum.mzn
/usr/share/minizinc/std/network_flow.mzn
/usr/share/minizinc/std/nvalue.mzn
/usr/share/minizinc/std/nvalue_fn.mzn
/usr/share/minizinc/std/partition_set.mzn
/usr/share/minizinc/std/range.mzn
/usr/share/minizinc/std/range_fn.mzn
/usr/share/minizinc/std/redefinitions-2.0.2.mzn
/usr/share/minizinc/std/redefinitions-2.0.mzn
/usr/share/minizinc/std/redefinitions.mzn
/usr/share/minizinc/std/regular.mzn
/usr/share/minizinc/std/regular_nfa.mzn
/usr/share/minizinc/std/roots.mzn
/usr/share/minizinc/std/roots_fn.mzn
/usr/share/minizinc/std/set_member.mzn
/usr/share/minizinc/std/sliding_sum.mzn
/usr/share/minizinc/std/sort.mzn
/usr/share/minizinc/std/sort_fn.mzn
/usr/share/minizinc/std/span.mzn
/usr/share/minizinc/std/stdlib.mzn
/usr/share/minizinc/std/stdlib_new.mzn
/usr/share/minizinc/std/strict_lex2.mzn
/usr/share/minizinc/std/subcircuit.mzn
/usr/share/minizinc/std/sum_pred.mzn
/usr/share/minizinc/std/symmetric_all_different.mzn
/usr/share/minizinc/std/table.mzn
/usr/share/minizinc/std/table_bool.mzn
/usr/share/minizinc/std/table_int.mzn
/usr/share/minizinc/std/value_precede.mzn
/usr/share/minizinc/std/value_precede_chain.mzn
/usr/share/minizinc/std/value_precede_chain_int.mzn
/usr/share/minizinc/std/value_precede_chain_set.mzn
/usr/share/minizinc/std/value_precede_int.mzn
/usr/share/minizinc/std/value_precede_set.mzn