minizinc 2.0.11+dfsg1-1 / usr / share / minizinc

This file is indexed.

/usr/share/minizinc/ 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/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/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/linear_new/ root:root 0o755
/usr/share/minizinc/linear_new/CHANGELOG.txt text/plain root:root 0o644 281 bytes
/usr/share/minizinc/linear_new/all_different_int.mzn text/plain root:root 0o644 799 bytes
/usr/share/minizinc/linear_new/alldifferent_except_0.mzn text/plain root:root 0o644 602 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/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/all_different.mzn text/plain root:root 0o644 621 bytes
/usr/share/minizinc/std/all_different_int.mzn text/plain root:root 0o644 338 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.mzn text/plain root:root 0o644 395 bytes
/usr/share/minizinc/std/all_equal_int.mzn text/plain root:root 0o644 111 bytes
/usr/share/minizinc/std/all_equal_set.mzn text/plain root:root 0o644 118 bytes
/usr/share/minizinc/std/alldifferent.mzn text/plain root:root 0o644 163 bytes
/usr/share/minizinc/std/alldifferent_except_0.mzn text/plain root:root 0o644 320 bytes
/usr/share/minizinc/std/alternative.mzn text/plain root:root 0o644 609 bytes
/usr/share/minizinc/std/among.mzn text/plain root:root 0o644 238 bytes
/usr/share/minizinc/std/among_fn.mzn text/plain root:root 0o644 294 bytes
/usr/share/minizinc/std/arg_max.mzn text/plain root:root 0o644 1.7 KB
/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_min.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_sort.mzn text/plain root:root 0o644 2.4 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/at_least.mzn text/plain root:root 0o644 671 bytes
/usr/share/minizinc/std/at_least_int.mzn text/plain root:root 0o644 350 bytes
/usr/share/minizinc/std/at_least_set.mzn text/plain root:root 0o644 364 bytes
/usr/share/minizinc/std/at_most.mzn text/plain root:root 0o644 659 bytes
/usr/share/minizinc/std/at_most1.mzn text/plain root:root 0o644 342 bytes
/usr/share/minizinc/std/at_most_int.mzn text/plain root:root 0o644 348 bytes
/usr/share/minizinc/std/at_most_set.mzn text/plain root:root 0o644 362 bytes
/usr/share/minizinc/std/atleast.mzn text/plain root:root 0o644 148 bytes
/usr/share/minizinc/std/atmost.mzn text/plain root:root 0o644 144 bytes
/usr/share/minizinc/std/atmost1.mzn text/plain root:root 0o644 148 bytes
/usr/share/minizinc/std/bin_packing.mzn text/plain root:root 0o644 934 bytes
/usr/share/minizinc/std/bin_packing_capa.mzn text/plain root:root 0o644 1.1 KB
/usr/share/minizinc/std/bin_packing_load.mzn text/plain root:root 0o644 1.0 KB
/usr/share/minizinc/std/bin_packing_load_fn.mzn text/plain root:root 0o644 599 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.mzn text/plain root:root 0o644 215 bytes
/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_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.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/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_set.mzn text/plain root:root 0o644 376 bytes
/usr/share/minizinc/std/diffn.mzn text/plain root:root 0o644 830 bytes
/usr/share/minizinc/std/diffn_k.mzn text/plain root:root 0o644 1.3 KB
/usr/share/minizinc/std/diffn_nonstrict.mzn text/plain root:root 0o644 821 bytes
/usr/share/minizinc/std/diffn_nonstrict_k.mzn text/plain root:root 0o644 1.4 KB
/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.mzn text/plain root:root 0o644 634 bytes
/usr/share/minizinc/std/distribute_fn.mzn text/plain root:root 0o644 472 bytes
/usr/share/minizinc/std/element.mzn text/plain root:root 0o644 748 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_set.mzn text/plain root:root 0o644 328 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/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.mzn text/plain root:root 0o644 557 bytes
/usr/share/minizinc/std/global_cardinality_closed.mzn text/plain root:root 0o644 723 bytes
/usr/share/minizinc/std/global_cardinality_closed_fn.mzn text/plain root:root 0o644 504 bytes
/usr/share/minizinc/std/global_cardinality_fn.mzn text/plain root:root 0o644 413 bytes
/usr/share/minizinc/std/global_cardinality_low_up.mzn text/plain root:root 0o644 566 bytes
/usr/share/minizinc/std/global_cardinality_low_up_closed.mzn text/plain root:root 0o644 739 bytes
/usr/share/minizinc/std/globals.mzn text/plain root:root 0o644 2.9 KB
/usr/share/minizinc/std/increasing.mzn text/plain root:root 0o644 849 bytes
/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_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.mzn text/plain root:root 0o644 475 bytes
/usr/share/minizinc/std/inverse_fn.mzn text/plain root:root 0o644 327 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_greater.mzn text/plain root:root 0o644 1.3 KB
/usr/share/minizinc/std/lex_greatereq.mzn text/plain root:root 0o644 1.3 KB
/usr/share/minizinc/std/lex_less.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/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_set.mzn text/plain root:root 0o644 1.1 KB
/usr/share/minizinc/std/lex_lesseq.mzn text/plain root:root 0o644 1.8 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_set.mzn text/plain root:root 0o644 1.2 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.mzn text/plain root:root 0o644 893 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_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.mzn text/plain root:root 0o644 330 bytes
/usr/share/minizinc/std/nvalue_fn.mzn text/plain root:root 0o644 221 bytes
/usr/share/minizinc/std/partition_set.mzn text/plain root:root 0o644 299 bytes
/usr/share/minizinc/std/range.mzn text/plain root:root 0o644 765 bytes
/usr/share/minizinc/std/range_fn.mzn text/plain root:root 0o644 421 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.mzn text/plain root:root 0o644 565 bytes
/usr/share/minizinc/std/roots_fn.mzn text/plain root:root 0o644 315 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.mzn text/plain root:root 0o644 715 bytes
/usr/share/minizinc/std/sort_fn.mzn text/plain root:root 0o644 345 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.mzn text/plain root:root 0o644 550 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/value_precede.mzn text/plain root:root 0o644 745 bytes
/usr/share/minizinc/std/value_precede_chain.mzn text/plain root:root 0o644 882 bytes
/usr/share/minizinc/std/value_precede_chain_int.mzn text/plain root:root 0o644 225 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_set.mzn text/plain root:root 0o644 522 bytes

APT Browse - Built by Thomas Orozco.