| /dports/math/clingo/clingo-5.5.1/app/clingo/tests/python/ |
| H A D | queens.sol | 6 q(1,2) q(2,4) q(3,1) q(4,3)
7 q(1,3) q(2,1) q(3,4) q(4,2)
9 q(1,1) q(2,3) q(3,5) q(4,2) q(5,4)
10 q(1,1) q(2,4) q(3,2) q(4,5) q(5,3)
11 q(1,2) q(2,4) q(3,1) q(4,3) q(5,5)
12 q(1,2) q(2,5) q(3,3) q(4,1) q(5,4)
13 q(1,3) q(2,1) q(3,4) q(4,2) q(5,5)
14 q(1,3) q(2,5) q(3,2) q(4,4) q(5,1)
20 q(1,2) q(2,4) q(3,6) q(4,1) q(5,3) q(6,5)
25 q(1,1) q(2,3) q(3,5) q(4,7) q(5,2) q(6,4) q(7,6)
[all …]
|
| /dports/math/clingo/clingo-5.5.1/app/clingo/tests/lua/ |
| H A D | queens.sol | 6 q(1,2) q(2,4) q(3,1) q(4,3)
7 q(1,3) q(2,1) q(3,4) q(4,2)
9 q(1,1) q(2,3) q(3,5) q(4,2) q(5,4)
10 q(1,1) q(2,4) q(3,2) q(4,5) q(5,3)
11 q(1,2) q(2,4) q(3,1) q(4,3) q(5,5)
12 q(1,2) q(2,5) q(3,3) q(4,1) q(5,4)
13 q(1,3) q(2,1) q(3,4) q(4,2) q(5,5)
14 q(1,3) q(2,5) q(3,2) q(4,4) q(5,1)
20 q(1,2) q(2,4) q(3,6) q(4,1) q(5,3) q(6,5)
25 q(1,1) q(2,3) q(3,5) q(4,7) q(5,2) q(6,4) q(7,6)
[all …]
|
| /dports/biology/treepuzzle/tree-puzzle-5.2/src/ |
| H A D | model2.c | 770 q[0][3] =0.738998; q[1][3] =0.147304; q[2][3] =5.429420; in wagdata()
772 q[0][4] =1.027040; q[1][4] =0.528191; q[2][4] =0.265256; in wagdata()
775 q[0][5] =0.908598; q[1][5] =3.035500; q[2][5] =1.543640; in wagdata()
778 q[0][6] =1.582850; q[1][6] =0.439157; q[2][6] =0.947198; in wagdata()
779 q[3][6] =6.174160; q[4][6] =0.021352; q[5][6] =5.469470; in wagdata()
781 q[0][7] =1.416720; q[1][7] =0.584665; q[2][7] =1.125560; in wagdata()
782 q[3][7] =0.865584; q[4][7] =0.306674; q[5][7] =0.330052; in wagdata()
785 q[0][8] =0.316954; q[1][8] =2.137150; q[2][8] =3.956290; in wagdata()
786 q[3][8] =0.930676; q[4][8] =0.248972; q[5][8] =4.294110; in wagdata()
789 q[0][9] =0.193335; q[1][9] =0.186979; q[2][9] =0.554236; in wagdata()
[all …]
|
| /dports/math/gap/gap-4.11.0/pkg/cvec-2.7.4/local/ |
| H A D | calibration.prokyon | 13 # q=2:
15 # q=3:
17 # q=4:
19 # q=5:
21 # q=7:
23 # q=8:
25 # q=9:
27 # q=11:
29 # q=13:
31 # q=16:
[all …]
|
| H A D | calibration.capella | 13 # q=2:
15 # q=3:
17 # q=4:
19 # q=5:
21 # q=7:
23 # q=8:
25 # q=9:
27 # q=11:
29 # q=13:
31 # q=16:
[all …]
|
| /dports/science/libcint/libcint-5.1.0/src/ |
| H A D | rys_wheeler.c | 3787 0.q,
3991 1.0q,
3994 1.0q,
3998 1.0q,
4003 1.0q,
4009 1.0q,
4016 1.0q,
4024 1.0q,
4033 1.0q,
4043 1.0q,
[all …]
|
| /dports/math/gap/gap-4.11.0/pkg/cvec-2.7.4/gap/ |
| H A D | calibration.gi | 16 # q=2:
18 # q=3:
20 # q=4:
22 # q=5:
24 # q=7:
26 # q=8:
28 # q=9:
30 # q=11:
32 # q=13:
34 # q=16:
[all …]
|
| /dports/www/firefox-esr/firefox-91.8.0/media/libvpx/libvpx/vpx_dsp/arm/ |
| H A D | idct32x32_add_neon.c | 247 q[4] = vaddq_s16(q[2], q[1]); in idct32_bands_end_1st_pass()
248 q[5] = vaddq_s16(q[3], q[0]); in idct32_bands_end_1st_pass()
249 q[6] = vsubq_s16(q[3], q[0]); in idct32_bands_end_1st_pass()
250 q[7] = vsubq_s16(q[2], q[1]); in idct32_bands_end_1st_pass()
261 q[8] = vaddq_s16(q[4], q[1]); in idct32_bands_end_1st_pass()
262 q[9] = vaddq_s16(q[5], q[0]); in idct32_bands_end_1st_pass()
263 q[6] = vsubq_s16(q[5], q[0]); in idct32_bands_end_1st_pass()
264 q[7] = vsubq_s16(q[4], q[1]); in idct32_bands_end_1st_pass()
269 q[4] = vaddq_s16(q[2], q[1]); in idct32_bands_end_1st_pass()
270 q[5] = vaddq_s16(q[3], q[0]); in idct32_bands_end_1st_pass()
[all …]
|
| H A D | highbd_idct32x32_1024_add_neon.c | 207 q[4] = highbd_idct_add_dual(q[2], q[1]); in idct32_bands_end_1st_pass()
208 q[5] = highbd_idct_add_dual(q[3], q[0]); in idct32_bands_end_1st_pass()
209 q[6] = highbd_idct_sub_dual(q[3], q[0]); in idct32_bands_end_1st_pass()
210 q[7] = highbd_idct_sub_dual(q[2], q[1]); in idct32_bands_end_1st_pass()
221 q[8] = highbd_idct_add_dual(q[4], q[1]); in idct32_bands_end_1st_pass()
222 q[9] = highbd_idct_add_dual(q[5], q[0]); in idct32_bands_end_1st_pass()
223 q[6] = highbd_idct_sub_dual(q[5], q[0]); in idct32_bands_end_1st_pass()
224 q[7] = highbd_idct_sub_dual(q[4], q[1]); in idct32_bands_end_1st_pass()
229 q[4] = highbd_idct_add_dual(q[2], q[1]); in idct32_bands_end_1st_pass()
230 q[5] = highbd_idct_add_dual(q[3], q[0]); in idct32_bands_end_1st_pass()
[all …]
|
| /dports/net/freeswitch/freeswitch-1.10.3.-release/libs/libvpx/vpx_dsp/arm/ |
| H A D | idct32x32_add_neon.c | 247 q[4] = vaddq_s16(q[2], q[1]); in idct32_bands_end_1st_pass()
248 q[5] = vaddq_s16(q[3], q[0]); in idct32_bands_end_1st_pass()
249 q[6] = vsubq_s16(q[3], q[0]); in idct32_bands_end_1st_pass()
250 q[7] = vsubq_s16(q[2], q[1]); in idct32_bands_end_1st_pass()
261 q[8] = vaddq_s16(q[4], q[1]); in idct32_bands_end_1st_pass()
262 q[9] = vaddq_s16(q[5], q[0]); in idct32_bands_end_1st_pass()
263 q[6] = vsubq_s16(q[5], q[0]); in idct32_bands_end_1st_pass()
264 q[7] = vsubq_s16(q[4], q[1]); in idct32_bands_end_1st_pass()
269 q[4] = vaddq_s16(q[2], q[1]); in idct32_bands_end_1st_pass()
270 q[5] = vaddq_s16(q[3], q[0]); in idct32_bands_end_1st_pass()
[all …]
|
| H A D | highbd_idct32x32_1024_add_neon.c | 207 q[4] = highbd_idct_add_dual(q[2], q[1]); in idct32_bands_end_1st_pass()
208 q[5] = highbd_idct_add_dual(q[3], q[0]); in idct32_bands_end_1st_pass()
209 q[6] = highbd_idct_sub_dual(q[3], q[0]); in idct32_bands_end_1st_pass()
210 q[7] = highbd_idct_sub_dual(q[2], q[1]); in idct32_bands_end_1st_pass()
221 q[8] = highbd_idct_add_dual(q[4], q[1]); in idct32_bands_end_1st_pass()
222 q[9] = highbd_idct_add_dual(q[5], q[0]); in idct32_bands_end_1st_pass()
223 q[6] = highbd_idct_sub_dual(q[5], q[0]); in idct32_bands_end_1st_pass()
224 q[7] = highbd_idct_sub_dual(q[4], q[1]); in idct32_bands_end_1st_pass()
229 q[4] = highbd_idct_add_dual(q[2], q[1]); in idct32_bands_end_1st_pass()
230 q[5] = highbd_idct_add_dual(q[3], q[0]); in idct32_bands_end_1st_pass()
[all …]
|
| /dports/net-im/tg_owt/tg_owt-d578c76/src/third_party/libvpx/source/libvpx/vpx_dsp/arm/ |
| H A D | idct32x32_add_neon.c | 247 q[4] = vaddq_s16(q[2], q[1]); in idct32_bands_end_1st_pass()
248 q[5] = vaddq_s16(q[3], q[0]); in idct32_bands_end_1st_pass()
249 q[6] = vsubq_s16(q[3], q[0]); in idct32_bands_end_1st_pass()
250 q[7] = vsubq_s16(q[2], q[1]); in idct32_bands_end_1st_pass()
261 q[8] = vaddq_s16(q[4], q[1]); in idct32_bands_end_1st_pass()
262 q[9] = vaddq_s16(q[5], q[0]); in idct32_bands_end_1st_pass()
263 q[6] = vsubq_s16(q[5], q[0]); in idct32_bands_end_1st_pass()
264 q[7] = vsubq_s16(q[4], q[1]); in idct32_bands_end_1st_pass()
269 q[4] = vaddq_s16(q[2], q[1]); in idct32_bands_end_1st_pass()
270 q[5] = vaddq_s16(q[3], q[0]); in idct32_bands_end_1st_pass()
[all …]
|
| H A D | highbd_idct32x32_1024_add_neon.c | 207 q[4] = highbd_idct_add_dual(q[2], q[1]); in idct32_bands_end_1st_pass()
208 q[5] = highbd_idct_add_dual(q[3], q[0]); in idct32_bands_end_1st_pass()
209 q[6] = highbd_idct_sub_dual(q[3], q[0]); in idct32_bands_end_1st_pass()
210 q[7] = highbd_idct_sub_dual(q[2], q[1]); in idct32_bands_end_1st_pass()
221 q[8] = highbd_idct_add_dual(q[4], q[1]); in idct32_bands_end_1st_pass()
222 q[9] = highbd_idct_add_dual(q[5], q[0]); in idct32_bands_end_1st_pass()
223 q[6] = highbd_idct_sub_dual(q[5], q[0]); in idct32_bands_end_1st_pass()
224 q[7] = highbd_idct_sub_dual(q[4], q[1]); in idct32_bands_end_1st_pass()
229 q[4] = highbd_idct_add_dual(q[2], q[1]); in idct32_bands_end_1st_pass()
230 q[5] = highbd_idct_add_dual(q[3], q[0]); in idct32_bands_end_1st_pass()
[all …]
|
| /dports/multimedia/libvpx/libvpx-1.11.0/vpx_dsp/arm/ |
| H A D | idct32x32_add_neon.c | 247 q[4] = vaddq_s16(q[2], q[1]); in idct32_bands_end_1st_pass()
248 q[5] = vaddq_s16(q[3], q[0]); in idct32_bands_end_1st_pass()
249 q[6] = vsubq_s16(q[3], q[0]); in idct32_bands_end_1st_pass()
250 q[7] = vsubq_s16(q[2], q[1]); in idct32_bands_end_1st_pass()
261 q[8] = vaddq_s16(q[4], q[1]); in idct32_bands_end_1st_pass()
262 q[9] = vaddq_s16(q[5], q[0]); in idct32_bands_end_1st_pass()
263 q[6] = vsubq_s16(q[5], q[0]); in idct32_bands_end_1st_pass()
264 q[7] = vsubq_s16(q[4], q[1]); in idct32_bands_end_1st_pass()
269 q[4] = vaddq_s16(q[2], q[1]); in idct32_bands_end_1st_pass()
270 q[5] = vaddq_s16(q[3], q[0]); in idct32_bands_end_1st_pass()
[all …]
|
| H A D | highbd_idct32x32_1024_add_neon.c | 207 q[4] = highbd_idct_add_dual(q[2], q[1]); in idct32_bands_end_1st_pass()
208 q[5] = highbd_idct_add_dual(q[3], q[0]); in idct32_bands_end_1st_pass()
209 q[6] = highbd_idct_sub_dual(q[3], q[0]); in idct32_bands_end_1st_pass()
210 q[7] = highbd_idct_sub_dual(q[2], q[1]); in idct32_bands_end_1st_pass()
221 q[8] = highbd_idct_add_dual(q[4], q[1]); in idct32_bands_end_1st_pass()
222 q[9] = highbd_idct_add_dual(q[5], q[0]); in idct32_bands_end_1st_pass()
223 q[6] = highbd_idct_sub_dual(q[5], q[0]); in idct32_bands_end_1st_pass()
224 q[7] = highbd_idct_sub_dual(q[4], q[1]); in idct32_bands_end_1st_pass()
229 q[4] = highbd_idct_add_dual(q[2], q[1]); in idct32_bands_end_1st_pass()
230 q[5] = highbd_idct_add_dual(q[3], q[0]); in idct32_bands_end_1st_pass()
[all …]
|
| /dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/third_party/libvpx/source/libvpx/vpx_dsp/arm/ |
| H A D | idct32x32_add_neon.c | 247 q[4] = vaddq_s16(q[2], q[1]); in idct32_bands_end_1st_pass()
248 q[5] = vaddq_s16(q[3], q[0]); in idct32_bands_end_1st_pass()
249 q[6] = vsubq_s16(q[3], q[0]); in idct32_bands_end_1st_pass()
250 q[7] = vsubq_s16(q[2], q[1]); in idct32_bands_end_1st_pass()
261 q[8] = vaddq_s16(q[4], q[1]); in idct32_bands_end_1st_pass()
262 q[9] = vaddq_s16(q[5], q[0]); in idct32_bands_end_1st_pass()
263 q[6] = vsubq_s16(q[5], q[0]); in idct32_bands_end_1st_pass()
264 q[7] = vsubq_s16(q[4], q[1]); in idct32_bands_end_1st_pass()
269 q[4] = vaddq_s16(q[2], q[1]); in idct32_bands_end_1st_pass()
270 q[5] = vaddq_s16(q[3], q[0]); in idct32_bands_end_1st_pass()
[all …]
|
| H A D | highbd_idct32x32_1024_add_neon.c | 207 q[4] = highbd_idct_add_dual(q[2], q[1]); in idct32_bands_end_1st_pass()
208 q[5] = highbd_idct_add_dual(q[3], q[0]); in idct32_bands_end_1st_pass()
209 q[6] = highbd_idct_sub_dual(q[3], q[0]); in idct32_bands_end_1st_pass()
210 q[7] = highbd_idct_sub_dual(q[2], q[1]); in idct32_bands_end_1st_pass()
221 q[8] = highbd_idct_add_dual(q[4], q[1]); in idct32_bands_end_1st_pass()
222 q[9] = highbd_idct_add_dual(q[5], q[0]); in idct32_bands_end_1st_pass()
223 q[6] = highbd_idct_sub_dual(q[5], q[0]); in idct32_bands_end_1st_pass()
224 q[7] = highbd_idct_sub_dual(q[4], q[1]); in idct32_bands_end_1st_pass()
229 q[4] = highbd_idct_add_dual(q[2], q[1]); in idct32_bands_end_1st_pass()
230 q[5] = highbd_idct_add_dual(q[3], q[0]); in idct32_bands_end_1st_pass()
[all …]
|
| /dports/www/firefox/firefox-99.0/media/libvpx/libvpx/vpx_dsp/arm/ |
| H A D | idct32x32_add_neon.c | 247 q[4] = vaddq_s16(q[2], q[1]); in idct32_bands_end_1st_pass()
248 q[5] = vaddq_s16(q[3], q[0]); in idct32_bands_end_1st_pass()
249 q[6] = vsubq_s16(q[3], q[0]); in idct32_bands_end_1st_pass()
250 q[7] = vsubq_s16(q[2], q[1]); in idct32_bands_end_1st_pass()
261 q[8] = vaddq_s16(q[4], q[1]); in idct32_bands_end_1st_pass()
262 q[9] = vaddq_s16(q[5], q[0]); in idct32_bands_end_1st_pass()
263 q[6] = vsubq_s16(q[5], q[0]); in idct32_bands_end_1st_pass()
264 q[7] = vsubq_s16(q[4], q[1]); in idct32_bands_end_1st_pass()
269 q[4] = vaddq_s16(q[2], q[1]); in idct32_bands_end_1st_pass()
270 q[5] = vaddq_s16(q[3], q[0]); in idct32_bands_end_1st_pass()
[all …]
|
| H A D | highbd_idct32x32_1024_add_neon.c | 207 q[4] = highbd_idct_add_dual(q[2], q[1]); in idct32_bands_end_1st_pass()
208 q[5] = highbd_idct_add_dual(q[3], q[0]); in idct32_bands_end_1st_pass()
209 q[6] = highbd_idct_sub_dual(q[3], q[0]); in idct32_bands_end_1st_pass()
210 q[7] = highbd_idct_sub_dual(q[2], q[1]); in idct32_bands_end_1st_pass()
221 q[8] = highbd_idct_add_dual(q[4], q[1]); in idct32_bands_end_1st_pass()
222 q[9] = highbd_idct_add_dual(q[5], q[0]); in idct32_bands_end_1st_pass()
223 q[6] = highbd_idct_sub_dual(q[5], q[0]); in idct32_bands_end_1st_pass()
224 q[7] = highbd_idct_sub_dual(q[4], q[1]); in idct32_bands_end_1st_pass()
229 q[4] = highbd_idct_add_dual(q[2], q[1]); in idct32_bands_end_1st_pass()
230 q[5] = highbd_idct_add_dual(q[3], q[0]); in idct32_bands_end_1st_pass()
[all …]
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/libvpx/source/libvpx/vpx_dsp/arm/ |
| H A D | idct32x32_add_neon.c | 247 q[4] = vaddq_s16(q[2], q[1]); in idct32_bands_end_1st_pass()
248 q[5] = vaddq_s16(q[3], q[0]); in idct32_bands_end_1st_pass()
249 q[6] = vsubq_s16(q[3], q[0]); in idct32_bands_end_1st_pass()
250 q[7] = vsubq_s16(q[2], q[1]); in idct32_bands_end_1st_pass()
261 q[8] = vaddq_s16(q[4], q[1]); in idct32_bands_end_1st_pass()
262 q[9] = vaddq_s16(q[5], q[0]); in idct32_bands_end_1st_pass()
263 q[6] = vsubq_s16(q[5], q[0]); in idct32_bands_end_1st_pass()
264 q[7] = vsubq_s16(q[4], q[1]); in idct32_bands_end_1st_pass()
269 q[4] = vaddq_s16(q[2], q[1]); in idct32_bands_end_1st_pass()
270 q[5] = vaddq_s16(q[3], q[0]); in idct32_bands_end_1st_pass()
[all …]
|
| H A D | highbd_idct32x32_1024_add_neon.c | 207 q[4] = highbd_idct_add_dual(q[2], q[1]); in idct32_bands_end_1st_pass()
208 q[5] = highbd_idct_add_dual(q[3], q[0]); in idct32_bands_end_1st_pass()
209 q[6] = highbd_idct_sub_dual(q[3], q[0]); in idct32_bands_end_1st_pass()
210 q[7] = highbd_idct_sub_dual(q[2], q[1]); in idct32_bands_end_1st_pass()
221 q[8] = highbd_idct_add_dual(q[4], q[1]); in idct32_bands_end_1st_pass()
222 q[9] = highbd_idct_add_dual(q[5], q[0]); in idct32_bands_end_1st_pass()
223 q[6] = highbd_idct_sub_dual(q[5], q[0]); in idct32_bands_end_1st_pass()
224 q[7] = highbd_idct_sub_dual(q[4], q[1]); in idct32_bands_end_1st_pass()
229 q[4] = highbd_idct_add_dual(q[2], q[1]); in idct32_bands_end_1st_pass()
230 q[5] = highbd_idct_add_dual(q[3], q[0]); in idct32_bands_end_1st_pass()
[all …]
|
| /dports/mail/thunderbird/thunderbird-91.8.0/media/libvpx/libvpx/vpx_dsp/arm/ |
| H A D | idct32x32_add_neon.c | 247 q[4] = vaddq_s16(q[2], q[1]); in idct32_bands_end_1st_pass()
248 q[5] = vaddq_s16(q[3], q[0]); in idct32_bands_end_1st_pass()
249 q[6] = vsubq_s16(q[3], q[0]); in idct32_bands_end_1st_pass()
250 q[7] = vsubq_s16(q[2], q[1]); in idct32_bands_end_1st_pass()
261 q[8] = vaddq_s16(q[4], q[1]); in idct32_bands_end_1st_pass()
262 q[9] = vaddq_s16(q[5], q[0]); in idct32_bands_end_1st_pass()
263 q[6] = vsubq_s16(q[5], q[0]); in idct32_bands_end_1st_pass()
264 q[7] = vsubq_s16(q[4], q[1]); in idct32_bands_end_1st_pass()
269 q[4] = vaddq_s16(q[2], q[1]); in idct32_bands_end_1st_pass()
270 q[5] = vaddq_s16(q[3], q[0]); in idct32_bands_end_1st_pass()
[all …]
|
| H A D | highbd_idct32x32_1024_add_neon.c | 207 q[4] = highbd_idct_add_dual(q[2], q[1]); in idct32_bands_end_1st_pass()
208 q[5] = highbd_idct_add_dual(q[3], q[0]); in idct32_bands_end_1st_pass()
209 q[6] = highbd_idct_sub_dual(q[3], q[0]); in idct32_bands_end_1st_pass()
210 q[7] = highbd_idct_sub_dual(q[2], q[1]); in idct32_bands_end_1st_pass()
221 q[8] = highbd_idct_add_dual(q[4], q[1]); in idct32_bands_end_1st_pass()
222 q[9] = highbd_idct_add_dual(q[5], q[0]); in idct32_bands_end_1st_pass()
223 q[6] = highbd_idct_sub_dual(q[5], q[0]); in idct32_bands_end_1st_pass()
224 q[7] = highbd_idct_sub_dual(q[4], q[1]); in idct32_bands_end_1st_pass()
229 q[4] = highbd_idct_add_dual(q[2], q[1]); in idct32_bands_end_1st_pass()
230 q[5] = highbd_idct_add_dual(q[3], q[0]); in idct32_bands_end_1st_pass()
[all …]
|
| /dports/lang/spidermonkey78/firefox-78.9.0/media/libvpx/libvpx/vpx_dsp/arm/ |
| H A D | idct32x32_add_neon.c | 247 q[4] = vaddq_s16(q[2], q[1]); in idct32_bands_end_1st_pass()
248 q[5] = vaddq_s16(q[3], q[0]); in idct32_bands_end_1st_pass()
249 q[6] = vsubq_s16(q[3], q[0]); in idct32_bands_end_1st_pass()
250 q[7] = vsubq_s16(q[2], q[1]); in idct32_bands_end_1st_pass()
261 q[8] = vaddq_s16(q[4], q[1]); in idct32_bands_end_1st_pass()
262 q[9] = vaddq_s16(q[5], q[0]); in idct32_bands_end_1st_pass()
263 q[6] = vsubq_s16(q[5], q[0]); in idct32_bands_end_1st_pass()
264 q[7] = vsubq_s16(q[4], q[1]); in idct32_bands_end_1st_pass()
269 q[4] = vaddq_s16(q[2], q[1]); in idct32_bands_end_1st_pass()
270 q[5] = vaddq_s16(q[3], q[0]); in idct32_bands_end_1st_pass()
[all …]
|
| /dports/math/py-or-tools/or-tools-9.2/examples/flatzinc/ |
| H A D | queen_ip.fzn | 2 constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1], [q[1], q[2], q[3], q[4], q[5], q[6], q[7], q[8]], 1…
3 constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1], [q[1], q[9], q[17], q[25], q[33], q[41], q[49], q[5…
4 constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1], [q[2], q[10], q[18], q[26], q[34], q[42], q[50], q[…
5 constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1], [q[3], q[11], q[19], q[27], q[35], q[43], q[51], q[…
6 constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1], [q[4], q[12], q[20], q[28], q[36], q[44], q[52], q[…
7 constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1], [q[5], q[13], q[21], q[29], q[37], q[45], q[53], q[…
8 constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1], [q[6], q[14], q[22], q[30], q[38], q[46], q[54], q[…
9 constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1], [q[7], q[15], q[23], q[31], q[39], q[47], q[55], q[…
10 constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1], [q[8], q[16], q[24], q[32], q[40], q[48], q[56], q[…
11 constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1], [q[9], q[10], q[11], q[12], q[13], q[14], q[15], q[…
[all …]
|