minizinc 2.0.11+dfsg1-1 / usr / share

This file is indexed.

/usr/share/ is in minizinc 2.0.11+dfsg1-1.

This file is owned by root:root, with mode 0o755.

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

APT Browse - Built by Thomas Orozco.