/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
|