| /dports/math/barvinok/barvinok-0.41.5/isl/test_inputs/schedule/ |
| H A D | disjunctive_domain.sc | 2 # does not get confused by disjunctive domains.
|
| /dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/polly/lib/External/isl/test_inputs/schedule/ |
| H A D | disjunctive_domain.sc | 2 # does not get confused by disjunctive domains.
|
| /dports/devel/isl/isl-0.24/test_inputs/schedule/ |
| H A D | disjunctive_domain.sc | 2 # does not get confused by disjunctive domains.
|
| /dports/devel/tinygo/tinygo-0.14.1/llvm-project/polly/lib/External/isl/test_inputs/schedule/ |
| H A D | disjunctive_domain.sc | 2 # does not get confused by disjunctive domains.
|
| /dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/polly/lib/External/isl/test_inputs/schedule/ |
| H A D | disjunctive_domain.sc | 2 # does not get confused by disjunctive domains.
|
| /dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/polly/lib/External/isl/test_inputs/schedule/ |
| H A D | disjunctive_domain.sc | 2 # does not get confused by disjunctive domains.
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/polly/lib/External/isl/test_inputs/schedule/ |
| H A D | disjunctive_domain.sc | 2 # does not get confused by disjunctive domains.
|
| /dports/devel/wasi-libcxx/llvm-project-13.0.1.src/polly/lib/External/isl/test_inputs/schedule/ |
| H A D | disjunctive_domain.sc | 2 # does not get confused by disjunctive domains.
|
| /dports/devel/llvm12/llvm-project-12.0.1.src/polly/lib/External/isl/test_inputs/schedule/ |
| H A D | disjunctive_domain.sc | 2 # does not get confused by disjunctive domains.
|
| /dports/devel/llvm13/llvm-project-13.0.1.src/polly/lib/External/isl/test_inputs/schedule/ |
| H A D | disjunctive_domain.sc | 2 # does not get confused by disjunctive domains.
|
| /dports/math/minizinc/libminizinc-2.5.5/share/minizinc/std/ |
| H A D | disjunctive_strict_opt.mzn | 17 "disjunctive: the array arguments must have identical index sets",
|
| /dports/math/reduce/Reduce-svn5758-src/doc/manual/ |
| H A D | boolean.tex | 44 disjunctive normal form, that is a form where terms are connected
65 The {\bf disjunctive} normal form is used by default. It
82 Usually the result is a fully reduced disjunctive or conjuntive normal
|
| /dports/math/reduce/Reduce-svn5758-src/packages/misc/ |
| H A D | boolean.tex | 57 disjunctive normal form, that is a form where terms are connected
78 The {\bf disjunctive} normal form is used by default. It
95 Usually the result is a fully reduced disjunctive or conjuntive normal
|
| /dports/math/chuffed/chuffed-e04bedd/chuffed/flatzinc/mznlib/ |
| H A D | fzn_disjunctive_strict.mzn | 22 % Global disjunctive propagator
|
| /dports/math/couenne/Couenne-releases-0.5.8/Couenne/src/main/ |
| H A D | Makefile.am | 35 -I`$(CYGPATH_W) $(srcdir)/../disjunctive` \
|
| /dports/math/minizinc/libminizinc-2.5.5/share/minizinc/geas/ |
| H A D | fzn_cumulative.mzn | 17 %% TODO: once disjunctive propagator is fixed, add
|
| /dports/lang/yap/yap-6.2.2/packages/cplint/ |
| H A D | mcintyre.pl | 346 % disjunctive clause with more than one head atom
357 % disjunctive clause with a single head atom
371 % disjunctive fact with more than one head atom
382 % disjunctive fact with a single head atom
|
| /dports/math/jacop/jacop-4.8.0/src/main/minizinc/org/jacop/minizinc_upTo2.3/ |
| H A D | disjunctive_strict.mzn | 14 "disjunctive: the array arguments must have identical index sets",
|
| /dports/math/chuffed/chuffed-e04bedd/ |
| H A D | chuffed.msc.in | 37 …["--disj-edge-find", "Use the edge-finding propagator for disjunctive constraints", "bool:on:off",…
38 …["--disj-set-bp", "Use the set bounds propagator for disjunctive constraints", "bool:on:off", "tru…
|
| /dports/math/minizinc/libminizinc-2.5.5/docs/chi/examples/ |
| H A D | flexible-js.mzn | 19 (disjunctive([O[t,m]|t in Task],[d[t,m]|t in Task]));
|
| /dports/math/openturns/openturns-1.18/python/test/ |
| H A D | t_DomainDisjunctiveUnion_std.expout | 5 disjunctive union= class=DomainDisjunctiveUnion name=Unnamed left=class=Interval name=Unnamed dimen…
|
| /dports/math/couenne/Couenne-releases-0.5.8/Couenne/ |
| H A D | Makefile.am | 23 src/disjunctive \
|
| /dports/math/openturns/openturns-1.18/python/src/ |
| H A D | DomainDisjunctiveUnion_doc.i.in | 2 "A Domain representing the disjunctive union of two Domain.
|
| /dports/math/minizinc/libminizinc-2.5.5/docs/en/examples/ |
| H A D | flexible-js.mzn | 19 (disjunctive([O[t,m]|t in Task],[d[t,m]|t in Task]));
|
| /dports/math/minizinc/libminizinc-2.5.5/docs/es/examples/ |
| H A D | flexible-js_es.mzn | 26 (disjunctive([O[t,m]|t in Task],[d[t,m]|t in Task]));
|