| /dports/math/reduce/Reduce-svn5758-src/packages/linalg/ |
| H A D | linalg.tst | 230 3*x259+4*x261+3*x262+2*x263+x269+2*x270+3*x271+4*x272+5*x273+x229=2,
231 7*x259+11*x261+8*x262+5*x263+3*x269+6*x270+9*x271+12*x272+15*x273+x229=4,
232 2*x259+5*x261+4*x262+3*x263+3*x268+4*x269+5*x270+6*x271+7*x272+8*x273=1,
233 x262+2*x263+5*x268+4*x269+3*x270+2*x271+x272+2*x229=1,
234 x259+x262+2*x263+4*x268+3*x269+2*x270+x271-x273+3*x229=2,
235 x259+2*x261+2*x262+2*x263+3*x268+3*x269+3*x270+3*x271+3*x272+3*x273+x229=1,
236 x259+x261+x262+x263+x268+x269+x270+x271+x272+x273+x229=1});
|
| H A D | linalg.rlg | 1566 3*x259+4*x261+3*x262+2*x263+x269+2*x270+3*x271+4*x272+5*x273+x229=2,
1567 7*x259+11*x261+8*x262+5*x263+3*x269+6*x270+9*x271+12*x272+15*x273+x229=4,
1568 2*x259+5*x261+4*x262+3*x263+3*x268+4*x269+5*x270+6*x271+7*x272+8*x273=1,
1569 x262+2*x263+5*x268+4*x269+3*x270+2*x271+x272+2*x229=1,
1570 x259+x262+2*x263+4*x268+3*x269+2*x270+x271-x273+3*x229=2,
1571 x259+2*x261+2*x262+2*x263+3*x268+3*x269+3*x270+3*x271+3*x272+3*x273+x229=1,
1572 x259+x261+x262+x263+x268+x269+x270+x271+x272+x273+x229=1});
1589 x269 = 0,
|
| /dports/math/py-mip/mip-1.13.0/test/data/ |
| H A D | 2050_3_7.lp | 48 + x269 + x289 <= 1
322 cons272: x261 - x269 >= -0
898 cons848: x263 + x269 <= 1
903 cons853: x264 + x269 <= 1
905 cons855: x265 + x269 <= 1
909 cons859: x267 + x269 <= 1
912 cons862: x268 + x269 <= 1
914 cons864: x269 + x271 <= 1
915 cons865: x269 + x273 <= 1
916 cons866: x269 + x274 <= 1
[all …]
|
| /dports/math/reduce/Reduce-svn5758-src/packages/redlog/ofsf/ |
| H A D | ofsf.rlg | 1519 3*x259+4*x261+3*x262+2*x263+x269+2*x270+3*x271+4*x272+5*x273+x229=2,
1520 7*x259+11*x261+8*x262+5*x263+3*x269+6*x270+9*x271+12*x272+15*x273+x229=4,
1521 2*x259+5*x261+4*x262+3*x263+3*x268+4*x269+5*x270+6*x271+7*x272+8*x273=1,
1522 x262+2*x263+5*x268+4*x269+3*x270+2*x271+x272+2*x229=1,
1523 x259+x262+2*x263+4*x268+3*x269+2*x270+x271-x273+3*x229=2,
1525 x259+x261+x262+x263+x268+x269+x270+x271+x272+x273+x229=1};
1528 dong := {x229 + 3*x259 + 4*x261 + 3*x262 + 2*x263 + x269 + 2*x270 + 3*x271
1546 x229 + x259 + 2*x261 + 2*x262 + 2*x263 + 3*x268 + 3*x269 + 3*x270
1550 x229 + x259 + x261 + x262 + x263 + x268 + x269 + x270 + x271 + x272
1565 x259 = (x262 + 2*x263 + 7*x268 + 6*x269 + 5*x270 + 4*x271 + 3*x272
[all …]
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/clang/test/Sema/ |
| H A D | many-parameters.c | 279 int x269,
|
| /dports/devel/tinygo/tinygo-0.14.1/llvm-project/clang/test/Sema/ |
| H A D | many-parameters.c | 279 int x269,
|
| /dports/devel/wasi-libcxx/llvm-project-13.0.1.src/clang/test/Sema/ |
| H A D | many-parameters.c | 279 int x269,
|
| /dports/devel/llvm11/llvm-11.0.1.src/tools/clang/test/Sema/ |
| H A D | many-parameters.c | 279 int x269,
|
| /dports/devel/llvm10/llvm-10.0.1.src/tools/clang/test/Sema/ |
| H A D | many-parameters.c | 279 int x269,
|
| /dports/devel/llvm12/llvm-project-12.0.1.src/clang/test/Sema/ |
| H A D | many-parameters.c | 279 int x269,
|
| /dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/clang/test/Sema/ |
| H A D | many-parameters.c | 279 int x269,
|
| /dports/devel/llvm90/llvm-9.0.1.src/tools/clang/test/Sema/ |
| H A D | many-parameters.c | 279 int x269,
|
| /dports/lang/rust/rustc-1.58.1-src/src/llvm-project/clang/test/Sema/ |
| H A D | many-parameters.c | 279 int x269,
|
| /dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/clang/test/Sema/ |
| H A D | many-parameters.c | 279 int x269,
|
| /dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/clang/test/Sema/ |
| H A D | many-parameters.c | 279 int x269,
|
| /dports/lang/clang-mesa/clang-13.0.1.src/test/Sema/ |
| H A D | many-parameters.c | 279 int x269,
|
| /dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/clang/test/Sema/ |
| H A D | many-parameters.c | 279 int x269,
|
| /dports/devel/llvm13/llvm-project-13.0.1.src/clang/test/Sema/ |
| H A D | many-parameters.c | 279 int x269,
|
| /dports/devel/llvm80/llvm-8.0.1.src/tools/clang/test/Sema/ |
| H A D | many-parameters.c | 279 int x269,
|
| /dports/devel/llvm70/llvm-7.0.1.src/tools/clang/test/Sema/ |
| H A D | many-parameters.c | 279 int x269,
|
| /dports/x11-fonts/font-manager/font-manager-0.8.7/lib/orthographies/ |
| H A D | PanAfricanLatin | 66 0x269,
|
| /dports/lang/mosml/mosml-ver-2.10.1/src/notes/ |
| H A D | manylocals.sml | 172 val x269 = 1 + x268 value
173 val x270 = 1 + x269
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/lldb/test/API/commands/settings/use_source_cache/ |
| H A D | main.cpp | 282 int x269 = x268 * x267 + x266; in calc() local
283 int x270 = x269 * x268 + x267; in calc()
284 int x271 = x270 * x269 + x268; in calc()
285 int x272 = x271 * x270 + x269; in calc()
|
| /dports/devel/wasi-libcxx/llvm-project-13.0.1.src/lldb/test/API/commands/settings/use_source_cache/ |
| H A D | main.cpp | 282 int x269 = x268 * x267 + x266; in calc() local
283 int x270 = x269 * x268 + x267; in calc()
284 int x271 = x270 * x269 + x268; in calc()
285 int x272 = x271 * x270 + x269; in calc()
|
| /dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/lldb/test/API/commands/settings/use_source_cache/ |
| H A D | main.cpp | 282 int x269 = x268 * x267 + x266; in calc() local
283 int x270 = x269 * x268 + x267; in calc()
284 int x271 = x270 * x269 + x268; in calc()
285 int x272 = x271 * x270 + x269; in calc()
|