minizinc 2.0.11+dfsg1-1 in ubuntu - xenial / universe

About

This package is 1.0 MB. It is available at http://archive.ubuntu.com/ubuntu/pool/universe/m/minizinc/minizinc_2.0.11+dfsg1-1_amd64.deb .

View its full control file here: debian/control.

Description

constraint modelling language and tool chain

Relations

This package depends on: libc6 (>= 2.14), libgcc1 (>= 1:3.0), libstdc++6 (>= 5.2), flatzinc.

This package does not recommend any other package.

This package does not suggest any other package.

This package does not conflict with any other package.

Package Contents

This package is indexed.

minizinc 2.0.11+dfsg1-1 is in ubuntu - xenial / universe. This package's architecture is: amd64.

File Mime Type Owner Mode Size
/usr/ root:root 0o755
/usr/bin/ root:root 0o755
/usr/bin/mzn2doc application/x-executable root:root 0o755 1.3 MB
/usr/bin/mzn2fzn application/x-executable root:root 0o755 1.4 MB
/usr/bin/solns2out application/x-executable root:root 0o755 1.4 MB
/usr/share/ root:root 0o755
/usr/share/doc/ root:root 0o755
/usr/share/doc-base/ root:root 0o755
/usr/share/doc-base/minizinc text/plain root:root 0o644 338 bytes
/usr/share/doc/minizinc/ root:root 0o755
/usr/share/doc/minizinc/changelog.Debian.gz application/gzip root:root 0o644 385 bytes
/usr/share/doc/minizinc/copyright text/plain root:root 0o644 21.3 KB
/usr/share/doc/minizinc/examples/ root:root 0o755
/usr/share/doc/minizinc/examples/functions/ root:root 0o755
/usr/share/doc/minizinc/examples/functions/warehouses.mzn text/plain root:root 0o644 3.3 KB
/usr/share/doc/minizinc/examples/new_syntax/ root:root 0o755
/usr/share/doc/minizinc/examples/new_syntax/array_index_set.mzn text/plain root:root 0o644 318 bytes
/usr/share/doc/minizinc/examples/new_syntax/extended_let.mzn text/plain root:root 0o644 230 bytes
/usr/share/doc/minizinc/examples/new_syntax/var_if.mzn text/plain root:root 0o644 191 bytes
/usr/share/doc/minizinc/examples/option_types/ root:root 0o755
/usr/share/doc/minizinc/examples/option_types/compatible_assignment_opt.mzn text/plain root:root 0o644 1.4 KB
/usr/share/doc/minizinc/examples/option_types/extended_comprehensions.mzn text/plain root:root 0o644 226 bytes
/usr/share/doc/minizinc/examples/option_types/fjsp.mzn.gz application/gzip root:root 0o644 2.2 KB
/usr/share/doc/minizinc/html/ root:root 0o755
/usr/share/doc/minizinc/html/doc-annotations-general.html text/html root:root 0o644 5.9 KB
/usr/share/doc/minizinc/html/doc-annotations.html text/html root:root 0o644 2.9 KB
/usr/share/doc/minizinc/html/doc-annotations-prop.html text/html root:root 0o644 3.4 KB
/usr/share/doc/minizinc/html/doc-annotations-search.html text/html root:root 0o644 15.6 KB
/usr/share/doc/minizinc/html/doc-builtins-arithmetic.html text/html root:root 0o644 36.2 KB
/usr/share/doc/minizinc/html/doc-builtins-array.html text/html root:root 0o644 48.5 KB
/usr/share/doc/minizinc/html/doc-builtins-coercion.html text/html root:root 0o644 14.6 KB
/usr/share/doc/minizinc/html/doc-builtins-compare.html text/html root:root 0o644 23.2 KB
/usr/share/doc/minizinc/html/doc-builtins-debug.html text/html root:root 0o644 7.9 KB
/usr/share/doc/minizinc/html/doc-builtins-explog.html text/html root:root 0o644 7.6 KB
/usr/share/doc/minizinc/html/doc-builtins.html text/html root:root 0o644 3.6 KB
/usr/share/doc/minizinc/html/doc-builtins-logic.html text/html root:root 0o644 15.0 KB
/usr/share/doc/minizinc/html/doc-builtins-random.html text/html root:root 0o644 15.8 KB
/usr/share/doc/minizinc/html/doc-builtins-reflect.html text/html root:root 0o644 18.7 KB
/usr/share/doc/minizinc/html/doc-builtins-set.html text/html root:root 0o644 14.7 KB
/usr/share/doc/minizinc/html/doc-builtins-sort.html text/html root:root 0o644 13.2 KB
/usr/share/doc/minizinc/html/doc-builtins-special.html text/html root:root 0o644 4.7 KB
/usr/share/doc/minizinc/html/doc-builtins-string.html text/html root:root 0o644 17.1 KB
/usr/share/doc/minizinc/html/doc-builtins-trigonometric.html text/html root:root 0o644 15.4 KB
/usr/share/doc/minizinc/html/doc-flatzinc.html text/html root:root 0o644 65.3 KB
/usr/share/doc/minizinc/html/doc-globals-alldifferent.html text/html root:root 0o644 9.5 KB
/usr/share/doc/minizinc/html/doc-globals-channeling.html text/html root:root 0o644 8.3 KB
/usr/share/doc/minizinc/html/doc-globals-counting.html text/html root:root 0o644 27.4 KB
/usr/share/doc/minizinc/html/doc-globals-extensional.html text/html root:root 0o644 12.3 KB
/usr/share/doc/minizinc/html/doc-globals.html text/html root:root 0o644 35.3 KB
/usr/share/doc/minizinc/html/doc-globals-lexicographic.html text/html root:root 0o644 27.3 KB
/usr/share/doc/minizinc/html/doc-globals-packing.html text/html root:root 0o644 30.8 KB
/usr/share/doc/minizinc/html/doc-globals-scheduling.html text/html root:root 0o644 17.2 KB
/usr/share/doc/minizinc/html/doc-globals-sort.html text/html root:root 0o644 18.3 KB
/usr/share/doc/minizinc/html/doc.html text/html root:root 0o644 2.6 KB
/usr/share/doc/minizinc/html/doc-options.html text/html root:root 0o644 2.7 KB
/usr/share/doc/minizinc/html/doc-optiontypes-bool.html text/html root:root 0o644 16.5 KB
/usr/share/doc/minizinc/html/doc-optiontypes.html text/html root:root 0o644 6.5 KB
/usr/share/doc/minizinc/html/doc-optiontypes-int.html text/html root:root 0o644 22.8 KB
/usr/share/doc/minizinc/html/footer.html text/html root:root 0o644 121 bytes
/usr/share/doc/minizinc/html/header.html text/html root:root 0o644 2.0 KB
/usr/share/doc/minizinc/html/MiniZn_logo.jpg image/jpeg root:root 0o644 120.1 KB
/usr/share/doc/minizinc/html/style.css text/plain root:root 0o644 2.4 KB
/usr/share/doc/minizinc/minizinc-spec.pdf application/pdf root:root 0o644 262.9 KB
/usr/share/doc/minizinc/README text/plain root:root 0o644 3.2 KB
/usr/share/doc/minizinc/README.Debian text/plain root:root 0o644 306 bytes
/usr/share/minizinc/ root:root 0o755
/usr/share/minizinc/g12_fd/ root:root 0o755
/usr/share/minizinc/g12_fd/all_different_int.mzn text/plain root:root 0o644 991 bytes
/usr/share/minizinc/g12_fd/cumulative.mzn text/plain root:root 0o644 1.6 KB
/usr/share/minizinc/g12_fd/global_cardinality_low_up.mzn text/plain root:root 0o644 1.2 KB
/usr/share/minizinc/g12_lazyfd/ root:root 0o755
/usr/share/minizinc/g12_lazyfd/all_different_int.mzn text/plain root:root 0o644 1006 bytes
/usr/share/minizinc/g12_lazyfd/redefinitions.mzn text/plain root:root 0o644 1.7 KB
/usr/share/minizinc/gecode root:root 0o777
/usr/share/minizinc/linear/ root:root 0o755
/usr/share/minizinc/linear/all_different_int.mzn text/plain root:root 0o644 721 bytes
/usr/share/minizinc/linear/domain_encodings.mzn text/plain root:root 0o644 2.1 KB
/usr/share/minizinc/linear/inverse.mzn text/plain root:root 0o644 724 bytes
/usr/share/minizinc/linear_new/ root:root 0o755
/usr/share/minizinc/linear_new/alldifferent_except_0.mzn text/plain root:root 0o644 602 bytes
/usr/share/minizinc/linear_new/all_different_int.mzn text/plain root:root 0o644 799 bytes
/usr/share/minizinc/linear_new/CHANGELOG.txt text/plain root:root 0o644 281 bytes
/usr/share/minizinc/linear_new/circuit.mzn text/plain root:root 0o644 1.5 KB
/usr/share/minizinc/linear_new/cumulative.mzn text/plain root:root 0o644 4.2 KB
/usr/share/minizinc/linear_new/domain_encodings.mzn text/plain root:root 0o644 3.8 KB
/usr/share/minizinc/linear_new/inverse.mzn text/plain root:root 0o644 1.1 KB
/usr/share/minizinc/linear_new/lex_lesseq_bool.mzn text/plain root:root 0o644 3.3 KB
/usr/share/minizinc/linear_new/redefinitions-2.0.2.mzn text/plain root:root 0o644 836 bytes
/usr/share/minizinc/linear_new/redefinitions-2.0.mzn text/plain root:root 0o644 1.5 KB
/usr/share/minizinc/linear_new/redefinitions.mzn text/plain root:root 0o644 46.4 KB
/usr/share/minizinc/linear_new/regular.mzn text/plain root:root 0o644 5.3 KB
/usr/share/minizinc/linear_new/subcircuit.mzn text/plain root:root 0o644 2.4 KB
/usr/share/minizinc/linear_new/subcircuit_wDummy.mzn text/plain root:root 0o644 3.0 KB
/usr/share/minizinc/linear_new/table_int.mzn text/plain root:root 0o644 902 bytes
/usr/share/minizinc/linear/redefinitions-2.0.2.mzn text/plain root:root 0o644 825 bytes
/usr/share/minizinc/linear/redefinitions-2.0.mzn text/plain root:root 0o644 238 bytes
/usr/share/minizinc/linear/redefinitions.mzn text/plain root:root 0o644 18.6 KB
/usr/share/minizinc/linear/table_int.mzn text/plain root:root 0o644 902 bytes
/usr/share/minizinc/nosets/ root:root 0o755
/usr/share/minizinc/nosets/redefinitions.mzn text/plain root:root 0o644 4.7 KB
/usr/share/minizinc/std/ root:root 0o755
/usr/share/minizinc/std/alldifferent_except_0.mzn text/plain root:root 0o644 320 bytes
/usr/share/minizinc/std/all_different_int.mzn text/plain root:root 0o644 338 bytes
/usr/share/minizinc/std/all_different.mzn text/plain root:root 0o644 621 bytes
/usr/share/minizinc/std/alldifferent.mzn text/plain root:root 0o644 163 bytes
/usr/share/minizinc/std/all_different_set.mzn text/plain root:root 0o644 345 bytes
/usr/share/minizinc/std/all_disjoint.mzn text/plain root:root 0o644 261 bytes
/usr/share/minizinc/std/all_equal_int.mzn text/plain root:root 0o644 111 bytes
/usr/share/minizinc/std/all_equal.mzn text/plain root:root 0o644 395 bytes
/usr/share/minizinc/std/all_equal_set.mzn text/plain root:root 0o644 118 bytes
/usr/share/minizinc/std/alternative.mzn text/plain root:root 0o644 609 bytes
/usr/share/minizinc/std/among_fn.mzn text/plain root:root 0o644 294 bytes
/usr/share/minizinc/std/among.mzn text/plain root:root 0o644 238 bytes
/usr/share/minizinc/std/arg_max_float.mzn text/plain root:root 0o644 487 bytes
/usr/share/minizinc/std/arg_max_int.mzn text/plain root:root 0o644 479 bytes
/usr/share/minizinc/std/arg_max.mzn text/plain root:root 0o644 1.7 KB
/usr/share/minizinc/std/arg_min_float.mzn text/plain root:root 0o644 487 bytes
/usr/share/minizinc/std/arg_min_int.mzn text/plain root:root 0o644 479 bytes
/usr/share/minizinc/std/arg_min.mzn text/plain root:root 0o644 1.7 KB
/usr/share/minizinc/std/arg_sort_float.mzn text/plain root:root 0o644 390 bytes
/usr/share/minizinc/std/arg_sort_int.mzn text/plain root:root 0o644 382 bytes
/usr/share/minizinc/std/arg_sort.mzn text/plain root:root 0o644 2.4 KB
/usr/share/minizinc/std/at_least_int.mzn text/plain root:root 0o644 350 bytes
/usr/share/minizinc/std/at_least.mzn text/plain root:root 0o644 671 bytes
/usr/share/minizinc/std/atleast.mzn text/plain root:root 0o644 148 bytes
/usr/share/minizinc/std/at_least_set.mzn text/plain root:root 0o644 364 bytes
/usr/share/minizinc/std/at_most1.mzn text/plain root:root 0o644 342 bytes
/usr/share/minizinc/std/atmost1.mzn text/plain root:root 0o644 148 bytes
/usr/share/minizinc/std/at_most_int.mzn text/plain root:root 0o644 348 bytes
/usr/share/minizinc/std/at_most.mzn text/plain root:root 0o644 659 bytes
/usr/share/minizinc/std/atmost.mzn text/plain root:root 0o644 144 bytes
/usr/share/minizinc/std/at_most_set.mzn text/plain root:root 0o644 362 bytes
/usr/share/minizinc/std/bin_packing_capa.mzn text/plain root:root 0o644 1.1 KB
/usr/share/minizinc/std/bin_packing_load_fn.mzn text/plain root:root 0o644 599 bytes
/usr/share/minizinc/std/bin_packing_load.mzn text/plain root:root 0o644 1.0 KB
/usr/share/minizinc/std/bin_packing.mzn text/plain root:root 0o644 934 bytes
/usr/share/minizinc/std/builtins.mzn text/plain root:root 0o644 88.4 KB
/usr/share/minizinc/std/circuit.mzn text/plain root:root 0o644 849 bytes
/usr/share/minizinc/std/comparison_rel_array.mzn text/plain root:root 0o644 1.2 KB
/usr/share/minizinc/std/count_eq.mzn text/plain root:root 0o644 387 bytes
/usr/share/minizinc/std/count_fn.mzn text/plain root:root 0o644 249 bytes
/usr/share/minizinc/std/count_geq.mzn text/plain root:root 0o644 416 bytes
/usr/share/minizinc/std/count_gt.mzn text/plain root:root 0o644 411 bytes
/usr/share/minizinc/std/count_leq.mzn text/plain root:root 0o644 413 bytes
/usr/share/minizinc/std/count_lt.mzn text/plain root:root 0o644 408 bytes
/usr/share/minizinc/std/count.mzn text/plain root:root 0o644 215 bytes
/usr/share/minizinc/std/count_neq.mzn text/plain root:root 0o644 405 bytes
/usr/share/minizinc/std/cumulative.mzn text/plain root:root 0o644 2.5 KB
/usr/share/minizinc/std/cumulative_opt.mzn text/plain root:root 0o644 1.3 KB
/usr/share/minizinc/std/decreasing_bool.mzn text/plain root:root 0o644 370 bytes
/usr/share/minizinc/std/decreasing_float.mzn text/plain root:root 0o644 372 bytes
/usr/share/minizinc/std/decreasing_int.mzn text/plain root:root 0o644 369 bytes
/usr/share/minizinc/std/decreasing.mzn text/plain root:root 0o644 849 bytes
/usr/share/minizinc/std/decreasing_set.mzn text/plain root:root 0o644 376 bytes
/usr/share/minizinc/std/diffn_k.mzn text/plain root:root 0o644 1.3 KB
/usr/share/minizinc/std/diffn.mzn text/plain root:root 0o644 830 bytes
/usr/share/minizinc/std/diffn_nonstrict_k.mzn text/plain root:root 0o644 1.4 KB
/usr/share/minizinc/std/diffn_nonstrict.mzn text/plain root:root 0o644 821 bytes
/usr/share/minizinc/std/disjoint.mzn text/plain root:root 0o644 164 bytes
/usr/share/minizinc/std/disjunctive.mzn text/plain root:root 0o644 808 bytes
/usr/share/minizinc/std/disjunctive_opt.mzn text/plain root:root 0o644 1000 bytes
/usr/share/minizinc/std/disjunctive_strict.mzn text/plain root:root 0o644 674 bytes
/usr/share/minizinc/std/disjunctive_strict_opt.mzn text/plain root:root 0o644 846 bytes
/usr/share/minizinc/std/distribute_fn.mzn text/plain root:root 0o644 472 bytes
/usr/share/minizinc/std/distribute.mzn text/plain root:root 0o644 634 bytes
/usr/share/minizinc/std/element_bool.mzn text/plain root:root 0o644 309 bytes
/usr/share/minizinc/std/element_float.mzn text/plain root:root 0o644 312 bytes
/usr/share/minizinc/std/element_int.mzn text/plain root:root 0o644 306 bytes
/usr/share/minizinc/std/element.mzn text/plain root:root 0o644 748 bytes
/usr/share/minizinc/std/element_set.mzn text/plain root:root 0o644 328 bytes
/usr/share/minizinc/std/exactly_int.mzn text/plain root:root 0o644 347 bytes
/usr/share/minizinc/std/exactly.mzn text/plain root:root 0o644 441 bytes
/usr/share/minizinc/std/exactly_set.mzn text/plain root:root 0o644 362 bytes
/usr/share/minizinc/std/flatzinc_builtins.mzn text/plain root:root 0o644 14.0 KB
/usr/share/minizinc/std/geost.mzn text/plain root:root 0o644 9.1 KB
/usr/share/minizinc/std/global_cardinality_closed_fn.mzn text/plain root:root 0o644 504 bytes
/usr/share/minizinc/std/global_cardinality_closed.mzn text/plain root:root 0o644 723 bytes
/usr/share/minizinc/std/global_cardinality_fn.mzn text/plain root:root 0o644 413 bytes
/usr/share/minizinc/std/global_cardinality_low_up_closed.mzn text/plain root:root 0o644 739 bytes
/usr/share/minizinc/std/global_cardinality_low_up.mzn text/plain root:root 0o644 566 bytes
/usr/share/minizinc/std/global_cardinality.mzn text/plain root:root 0o644 557 bytes
/usr/share/minizinc/std/globals.mzn text/plain root:root 0o644 2.9 KB
/usr/share/minizinc/std/increasing_bool.mzn text/plain root:root 0o644 370 bytes
/usr/share/minizinc/std/increasing_float.mzn text/plain root:root 0o644 372 bytes
/usr/share/minizinc/std/increasing_int.mzn text/plain root:root 0o644 369 bytes
/usr/share/minizinc/std/increasing.mzn text/plain root:root 0o644 849 bytes
/usr/share/minizinc/std/increasing_set.mzn text/plain root:root 0o644 376 bytes
/usr/share/minizinc/std/int_set_channel.mzn text/plain root:root 0o644 648 bytes
/usr/share/minizinc/std/inverse_fn.mzn text/plain root:root 0o644 327 bytes
/usr/share/minizinc/std/inverse.mzn text/plain root:root 0o644 475 bytes
/usr/share/minizinc/std/inverse_set.mzn text/plain root:root 0o644 614 bytes
/usr/share/minizinc/std/knapsack.mzn text/plain root:root 0o644 1.1 KB
/usr/share/minizinc/std/lex2.mzn text/plain root:root 0o644 870 bytes
/usr/share/minizinc/std/lex_greatereq.mzn text/plain root:root 0o644 1.3 KB
/usr/share/minizinc/std/lex_greater.mzn text/plain root:root 0o644 1.3 KB
/usr/share/minizinc/std/lex_less_bool.mzn text/plain root:root 0o644 1.7 KB
/usr/share/minizinc/std/lex_lesseq_bool.mzn text/plain root:root 0o644 1.9 KB
/usr/share/minizinc/std/lex_lesseq_float.mzn text/plain root:root 0o644 1.9 KB
/usr/share/minizinc/std/lex_lesseq_int.mzn text/plain root:root 0o644 1.9 KB
/usr/share/minizinc/std/lex_lesseq.mzn text/plain root:root 0o644 1.8 KB
/usr/share/minizinc/std/lex_lesseq_set.mzn text/plain root:root 0o644 1.2 KB
/usr/share/minizinc/std/lex_less_float.mzn text/plain root:root 0o644 1.7 KB
/usr/share/minizinc/std/lex_less_int.mzn text/plain root:root 0o644 1.7 KB
/usr/share/minizinc/std/lex_less.mzn text/plain root:root 0o644 1.7 KB
/usr/share/minizinc/std/lex_less_set.mzn text/plain root:root 0o644 1.1 KB
/usr/share/minizinc/std/link_set_to_booleans.mzn text/plain root:root 0o644 503 bytes
/usr/share/minizinc/std/maximum.mzn text/plain root:root 0o644 795 bytes
/usr/share/minizinc/std/member_bool.mzn text/plain root:root 0o644 322 bytes
/usr/share/minizinc/std/member_float.mzn text/plain root:root 0o644 325 bytes
/usr/share/minizinc/std/member_int.mzn text/plain root:root 0o644 319 bytes
/usr/share/minizinc/std/member.mzn text/plain root:root 0o644 893 bytes
/usr/share/minizinc/std/member_set.mzn text/plain root:root 0o644 333 bytes
/usr/share/minizinc/std/minimum.mzn text/plain root:root 0o644 855 bytes
/usr/share/minizinc/std/network_flow.mzn text/plain root:root 0o644 2.2 KB
/usr/share/minizinc/std/nvalue_fn.mzn text/plain root:root 0o644 221 bytes
/usr/share/minizinc/std/nvalue.mzn text/plain root:root 0o644 330 bytes
/usr/share/minizinc/std/partition_set.mzn text/plain root:root 0o644 299 bytes
/usr/share/minizinc/std/range_fn.mzn text/plain root:root 0o644 421 bytes
/usr/share/minizinc/std/range.mzn text/plain root:root 0o644 765 bytes
/usr/share/minizinc/std/redefinitions-2.0.2.mzn text/plain root:root 0o644 940 bytes
/usr/share/minizinc/std/redefinitions-2.0.mzn text/plain root:root 0o644 1.7 KB
/usr/share/minizinc/std/redefinitions.mzn text/plain root:root 0o644 93 bytes
/usr/share/minizinc/std/regular.mzn text/plain root:root 0o644 1.9 KB
/usr/share/minizinc/std/regular_nfa.mzn text/plain root:root 0o644 1.9 KB
/usr/share/minizinc/std/roots_fn.mzn text/plain root:root 0o644 315 bytes
/usr/share/minizinc/std/roots.mzn text/plain root:root 0o644 565 bytes
/usr/share/minizinc/std/set_member.mzn text/plain root:root 0o644 280 bytes
/usr/share/minizinc/std/sliding_sum.mzn text/plain root:root 0o644 554 bytes
/usr/share/minizinc/std/sort_fn.mzn text/plain root:root 0o644 345 bytes
/usr/share/minizinc/std/sort.mzn text/plain root:root 0o644 715 bytes
/usr/share/minizinc/std/span.mzn text/plain root:root 0o644 650 bytes
/usr/share/minizinc/std/stdlib.mzn text/plain root:root 0o644 19.9 KB
/usr/share/minizinc/std/stdlib_new.mzn text/plain root:root 0o644 4.1 KB
/usr/share/minizinc/std/strict_lex2.mzn text/plain root:root 0o644 870 bytes
/usr/share/minizinc/std/subcircuit.mzn text/plain root:root 0o644 1.9 KB
/usr/share/minizinc/std/sum_pred.mzn text/plain root:root 0o644 452 bytes
/usr/share/minizinc/std/symmetric_all_different.mzn text/plain root:root 0o644 338 bytes
/usr/share/minizinc/std/table_bool.mzn text/plain root:root 0o644 1.5 KB
/usr/share/minizinc/std/table_int.mzn text/plain root:root 0o644 4.7 KB
/usr/share/minizinc/std/table.mzn text/plain root:root 0o644 550 bytes
/usr/share/minizinc/std/value_precede_chain_int.mzn text/plain root:root 0o644 225 bytes
/usr/share/minizinc/std/value_precede_chain.mzn text/plain root:root 0o644 882 bytes
/usr/share/minizinc/std/value_precede_chain_set.mzn text/plain root:root 0o644 232 bytes
/usr/share/minizinc/std/value_precede_int.mzn text/plain root:root 0o644 471 bytes
/usr/share/minizinc/std/value_precede.mzn text/plain root:root 0o644 745 bytes
/usr/share/minizinc/std/value_precede_set.mzn text/plain root:root 0o644 522 bytes

APT Browse - Built by Thomas Orozco.