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