From 5697ccf0159fd4722afcc45c6eede4e8d4dea99d Mon Sep 17 00:00:00 2001 From: pkriens <200494+pkriens@users.noreply.github.com> Date: Mon, 6 Jan 2025 16:03:31 +0000 Subject: [PATCH] Native code update request --- .../native/darwin/amd64/electrod | Bin 7798368 -> 7798368 bytes .../native/darwin/amd64/plingeling | Bin 664432 -> 664432 bytes .../native/darwin/arm64/electrod | Bin 7798368 -> 7798368 bytes .../native/darwin/arm64/plingeling | Bin 602120 -> 602120 bytes .../native/linux/amd64/plingeling | Bin 4399424 -> 4399424 bytes .../native/windows/amd64/electrod.exe | Bin 14683695 -> 14683695 bytes .../native/windows/amd64/glucose.dll | Bin 541832 -> 541832 bytes .../native/windows/amd64/minisat.dll | Bin 493646 -> 493646 bytes 8 files changed, 0 insertions(+), 0 deletions(-) diff --git a/org.alloytools.pardinus.native/native/darwin/amd64/electrod b/org.alloytools.pardinus.native/native/darwin/amd64/electrod index cd8a905173974d58f42357c7823556057e1e1b81..1cdd2cfe4e6bc4e503a9f0495033c59e2788effa 100644 GIT binary patch delta 2782 zcmX}reNwGrH~B-6v5l!ls7S@qNpfAFi%j_D6tKU+N+L+9ts3e z!Rl;SdWxlMhjy+*t&Q9xrH%& zzyo*!FW?OpgI@t3AOXJM1>gt#!HZxC2mnh#AXo-o0zu$q5DY?q6#N?e284nzupESg z2oMQYfR!K$tOC&>2CN1Icm@0x#DX>8cVI182jW0HNC1f-39JXnU;~hWS3wGR4QvFd zU=!F3(!dt56>J0PU_00WGJqUpf}J1>WP@FlTBw+A=hxY_)P9p9(1mZXYYpXh74PtO zL&g7I5ifKk!-o5cubqK!W<#r)Ib_&ifq>w2t3?sd7KLG8UZ@*d{|9AV*ezhE;!Y5Ny_6oE=l=Z$0ezN>$oHpa-9${e@>Lj6;-o80_}#! zq&rSDmq-!Ui4gO{P`ZUk%wE%m^mBu1v1fi6s1X+D5yel3z;aZ zL32Vj)*_`R6YDP_lRFd1YiJI~uN>dfx!3qL(l8qg(mTk+l=K}`%7nUed|XUWG= zBpY>)(HxF6ieny2wN0Z)yx|#AvhP4HP{uKjFz7v$)yyubr_#h6t)#t_AP4LQdq6JO z3-*EiKm`tfgCGy6!6EQEcmrraJ}3ac2Zi8Ga2UJ=NQ(A4lGhwG{qVa}wRO9CYzOC8 zes%4iZbVp%`RRhiFZJXFK7MjGNkwT*M{=*1(Doqpa^az?CyOQHF84z3`;MIBZ796k zWO=@z;XO@0GTGE!#Qoc%)0W(gvg2j?&kFc&jJ0HxXt#|#&Tx&n5%%Lrchk`xQG0UC zw^s-~Q7vfCv})H!?+cx>UmA$``-<8db9?_0)Lm2X-BhslZO@jQZ7bgOC@UZCCO)XF zZ7k{BTd`+R$auy3#o>)FZcB+AsJNLv|1z&t`DuUP{;D?z#&+=j{C0Hc>=}`sJa_uK z#S->PY0-nB=<}5a(<=hPYSYKddQ4wdh{>o6O>H)Ncf%iIPkXn}3nFSx`7C|9DnB*h zglw|3s3KgpG0`??wocTq9yFvxgxtN|I4U}EGx_9jx5XfK9a_Wti%(R4?y{_^rnjow zJBl8W_blJgHp$Kd*N%N+Gx)iW1_vA)pSYE|<%i3zTLphoe|)oHN$2&TnPla;@INN}JIUVJe$nQaTJ~8_{;3Pr`DbBK zyA2a#DH%K5e2L;$>JNwpZ zPQ=a>hU>ZnAJHk@)t6mMI`c12+0GPP4ezbVOW%?08@+3&lKA0B&KA?iZqZELy0abi zEB6N^@40r~n%zNNxRhJEz0S|_q1#3O^r6PH^Y@x!JcPqli8;~gxzza2TO!N*Z{3Oy fFTCc=ljR=@pwI6@6V6#_j}i7Y8JME z3#&v<+rJ+3!}RO#?=7FKugu9DT(mP;v^!ZO09HT<2w?84!B}7eY=IrH2VyV|H~>fB z1jYkr-~uFI0&oQrfg5-Wybaue2k-=5z#I4gU*HGc0aD-(CV|Od3J3u2f~g=7ya%R% z>0ky30>K~zkl=kF12e$~U>2AS<^VYe1s{UBU>*nq^FcUJfCXS7hyaT~Bv=fVfGDsO zM1y5uIfwx(z)GM5vEU={F<1pw)5#*$@NMC&^Flh&sPYsDgU$2gq`PvwD7Jf zRAf%N@IO@7EJ0Y$g{pdXkuJOe!XsE+)u0Ns5>}Y^{iRwXAnpvkNz$nsRoO(1IdwLw z3fPWng3dB!_(V1HU9-x>O4 zo-!SHN_FDI;6zhhDmnL>`p0-ocH^YSi6(pag;XydGrjm0{S(}g|KOzO6WPaid?Net zUZ$U$($s(|ihG*sr+ABE5U1)v{P~s7a97VK<#WD!j*r$3;U7ZF;7<83PLdaRhn7#0 zmw1O{n4j`VGNLlFAH8z~Pu2h7)X69HE53V$cj!&HBS&%4kK)_(ukkv~8*W-epktQH zipmi8XOjwWD&v#XitqR&74jXQqy*pbNh;zy5n}&NwAvaK2#8wq|D72NV@slJaANpG z+47w&DzL1hHFikMZPwc3u|y0nVm^k}i%~W=CLOpjt#?2MuB4oB$v7dg6?-?~f)CQT zz(ZONQb>>oH&(lHrA|5#FD#pgJGC1=vC|E0;sTY!4 zu~F@VS_GD;Q~1Gl%e>kTiA8LzpN#s1TssxXt=UKfqbTkGC5c+NNX|rZ8+HLTmp?(H zKv4vD*dk=$7HDJOGPad`gbdsX^{Y^eC)?^XP?Us?#9kz~BTkv0Tv3EfA}$_9aSm)O zJA;fiY@{wC6OLESZ)w@4zlJukC+MU#$jFvV4a#QE(ouKe(^yuL_xMfJeIzCbZWJeABh!PAqKSUsz$Wk+*bF`gTfi3}6{G=*W*pPk8+;Z8uDl+0*6WnCulUFKGkUwCu#@T5 z9cScEUDaXFpG3A;6jxjS*eJ;5Fu8fGx_k80l581r5;S#t+r^!zr&WTV&lP@Y4bYD#A+I6s@qUXhh;ICb@v!9-5O1|`hF3)-y zTz4nwr~e)SChv-@=yYHM?^K3`loc$zHt*yfmKI(=#AhWj*~`_2rXoTldOKgeYN zzWuW@^YFm&?xtI5m!;>n%d<-D*X7NbxzyPt?{7Zd-}UPl;lY+;wYOxSL2kljxYsJj&np+UcesXJDbVbHx|L1CPV0$Z$v;zs%RWDwY^vPUp9V&Tw7x zG<)As@z|=0dkeD<&r#3WbIp3zt?%7$H7ecuzilr(QXJXP;S!#CoJd{kT(~}L;Xcii zpmR;pDH+{cWy|~ae0M0RB|RXqa<<3g6JJRWl$~sI@vgr(` Y-(tM-FX!WY2&`|`6 z3QlLkvNO?62Ts-@Xd`!Jlz9ZHcCj=rSovWmBOnD4igzNC&^^h$@BQO*&i8zu_kC`1 z0}m|&!iS(GQ{Hi0y-8EgStffA&HZ6E_=f_LaVk?MK3khT`ny9_En2jL}av9A1%>O^Wu-chm!%7(P+o^Bte4|3K$#doIH#>LK6pi5gP1v**bF z;;EibubAMjK3UR`t7eq`6KR3d{WNv-3(r>eF{H>{f3so zo$`M;$)4dGT0Y5U@eSE?e#$4=oXWuNGtc3v<^@h>K56FpZXVyzTX08Oanf7y)AS4Y zT*Xh^w3a}1_J`HhBkoT^?toK0pX36*t zrkrtN_(X~MPK?+ehOStIB-~}~Vmy{fxGzHMC8&fOlTvO>>!qljD=9ZzGHysBU|%)i zju%z9;}5BjAzyB+d6g@5a!-7)-V=8kFTBz0h4KZ2*!G{L^nuczOgPa>U)v|Qml{8~ zJu+LIOUsv_XaO5F{%Fv_9(9TUxNe_!1t5utjiw;C36dvu)B2BH}GogC&?cE z5@kdZ!rtmCdhuLw4_Sn4sp!X>WCKXTmbCnPlrLsiX&)iA0~?t!yox3!ZLiM$Eaemm z<6^~+$but-qS?pNUC&V%-Y|#M+&fSb>S*>6I<1SkhTSEXstxSXD#ld}vcPt*17w37 zuoLV88n7F@3vxjo*aO}JzXJK702G3~U>|rN><0$`MKi7kbKCvz7wo)|6Q6!%reUh~ zQd`|`y!W<;pP&Ek!muJ))^aC%GhJ*rn0>9(*xI5v+L3b6@vd?1a-2tVl>U-5=9R>! z_XCgrecQClqnwC(#KOS*Gq9{(3{t?VG{(k2xC-^^3a` zR^4tUwPX#^oo+6ED`IERthI4C^l!`0d|}D?r+;5<;lE}Bia(HE@90|ok;{?tu|Dz- zRcBgDjX9M&76(pMeo_+B`r4+%u;I#%w1uUDPW6Q$zg^Yu4?o!=_|pdwLGvfYTI%$P zYrVa}Z%f_dN-}oC-_X-)RBI}=amvFyrHdY+}hXl>&O#s*O`|>YmdA8K3iFk z6nj)LQ&v^% zUpf=6FD$)sFh5}HXXcFg*s{X#OMw~2wMS$tPKW$1_PcnivHRkh`6s8%C=`{c|QUj9Dg^Txq7 z`9~vP>R0UYN!W3<&YampH#BCKZ9eDO`$wmXUTLGPrxw0#Tje4etB%Wx$g?EHe0DvoeCWoF hn2>$VSA0G```7uWjQf1iOA&h(KWL(hD-Mkm{U4ZG=KBBu delta 2782 zcmX}qdsGu=8V2x&Ot?lsh{y`arJ+Kl7BG!l4fO&lDqhe~C10p0SwOL^%9tYsORI>W zC{=^8E3j2@-MStxC3bX;MGePA8tADF-6c>&KmiL#VN_V7?wibf-ygqop7XrlWoD92 zTbr;GTv{jcPC6w`Gp4_{pkm-ZA2>hr{Ay3OXkWHS0GxmjP{7_f0~g>5+<-gq0Aer! zcmglr4JHB~;0q*R67U0)fj{^Ym;wSoAP53eK`;mbp&$&r38Ww#yalF#2oMS02Gc(Wu1#g*r|r0-f5V9-iS8gBN%VcvkwkZrjwJel%E;Xz>%vn5 zNwRJ{WxMf|?!k%0iJ>2=6#Q!%9^tX97bgQwjI56=r2Fxh?Z>wm9^+2-J5C0YWCNrl zNj8Z0vV;7Tp@&pS{L|Dw!CMlBajGB2pI`Y0?kprJM@TnyQn4tBKR_u%?R=EYLJC)I0X>(T zP?Ug@DE_cSWaJm+rK-ys{0*X?iV*k-taws0rtr47i;m23kl;Lg(1&G2a)D`h{CP4v%5OgUP8 zQ45|Y{EBQsu1v7vlO%0O%$1C^18s5Rj?(oawSbFkA3lnq2JN5DahLK5isEC@AIOFy zixk|oO#K*&!Y7O)HUABilv=@Eq1R1NmvLuFJ=JDz=|0v=4bs3zU_D3&8^A`80W{z* zAQNPPY_JJz20360_!xWwJ_TFBHn1J!0-9mHc4Qetl&RN#35<)_>7(dlO_8lrst%9T z9_fGMv+MhyL@APE6A-yxdaT_v}*aSH8O0Pfl60uRLSU zP&B zbu9^78q`q}wf*DxNq16ur>3@zx-V~v32k`ub@j|8@hQ1EehKIul|Ci%_7h3umrBHNy8f}F+|tUSCq?BUIbWyuTgkN2FWhb1MyCSPxqY<_XB zX7!rFhOSd<_eLGkM2DY0q`%bISbTkCY5DM3*}1@7Ub(ijS4M9J%+Lqy(S{US+rIdx zT>f;*_sYCuLsh-j+qqYz7rs#BpY+&RGH2FuADd#Zt!nV$zuyoZX|KHVmQ<9?q@N6* zCqF75d+Go7&Eer&9!hP8>%5sKJCCn__oMvjE6%>Nx-uAf2anS;1CCs4?ytU95}fZ5 zf1s~CeL{chJ}Tqe46kDLLFukn-nRsWLyMe!YPV7M0*`G+#-rl(D?@`#Dbx^qwzMNI z+Ar-%!NC(^7gOy|iwcg-(ahO@!}(PF$@+bI dxQ{TdbgTK==l|L*xo4{0nM^VHMcRjX{|8ufW(xoS diff --git a/org.alloytools.pardinus.native/native/darwin/arm64/plingeling b/org.alloytools.pardinus.native/native/darwin/arm64/plingeling index cd169297e45f7fd500877c1fa72fc6a6c90e6667..f4156500682b7e58e61b37f46681c21b191c060f 100755 GIT binary patch delta 340 zcmeBppwjU`WkUq3fac971s842jJLeo;@A02Z+CMBYkLMOBM>tIF*6Xe05M36ZF>eQ zd)q7tuf#kB1v3RhQ!7(rD^m-F&=6+@BLgGT>1+$weYuUz49zV}%uEd|Ot!}@VBhqI zdH0{{?ZR_8YJEVg>62e_>;(%2zXCFt_W*^2-*MD}7~3bm<1o=zxZriPS$CynNcp4o zCnB>P73Z&#S)pW~Ifv;ypY2y6#&gS`%X0ENgqN^Co*I3#L8;zvJ8wzN;xAS4Qg6c? z^tS81QJFdEV0UH3%4-{1qSh63|7<A delta 340 zcmeBppwjU`WkUq3z~xP5Z8e^@CHwEbtv>(gO;~dVYkLMOBM>tIF*6Xe05M36ZF>eQ zd)q7t|Kt({1#<-hODhv|D`NwN&=6+@BLgFo>1+$weYuS+j4X}KO^l6zJoce#x;H#MmDE3djHp3BTj0Wi9{;O@7B=qOZWduw>tUS%vG7 z(ce#)6}{=KB|+Ik%L*FX;R9dX?h0^A}fJY&_$3m21n?wEb64@z36LH0Xta!dIs4>bjf< z7!|&Iz2dxgrG07B<@+lp{#$R+rNYqsHHDu`Pfabk{>GK9)7kYo8x)?EoxWth@SC+~ iWz_tC-+nRL9`Cc6=@R{X_x^fLX5I3q)0gXWCISE}?2}*s diff --git a/org.alloytools.pardinus.native/native/linux/amd64/plingeling b/org.alloytools.pardinus.native/native/linux/amd64/plingeling index b0eee13729e88b217dd47f18d51b237244888205..e748db84a4ee80a6f3c58215a870e18e1135f1d7 100755 GIT binary patch delta 369 zcmWm8J1;|F0LF1%Rmc5Sl%lVDm2;fi`|3IFY|;%|6Y0Q46NyBuBwei1SbYLpjV0$J zm^wsuehgp`Lm0*gMv=l8#xa33CNYH!rZIzAWFaw!c`RTNOIXGVa#%$k nYgmT~3mdTEz=a1Nt=}4(C?G(HEo@^4yV%1%4(iS5@Urv|ZH%;@ delta 369 zcmWm8J1+!L0EXc>Zo|4;tm__^b)Ru&%$%Ja*0tSa3v@z6&`5}oh*q(UXw^icBARWN zO#A``+l%=T3hx$A-mm;h?>C}^mroJDe@(?sce2Mvf8W1fAI}dzw@;7Pktjr>3YAu) z2DPX|eK8V7?k#D1j%h0`wdGriWxM9y)y3I?y!7?1cJDSq<0O&aKbJBsRVHwC;COOt zb6q;haSP?pKm!^PLlc_Of>yMl9UbUI99`%}4-)7_ANnzXK@1@YiD8Uj6k|wX921zt p6s9qQS(vae2L&4r=27|VK_d+x83b6sBC=S*GFGr!EQf1{+yBLbw26Yiq)_>*1(!r3u|K?tc&%qJ~qIH*a#bA6KsmjusOECme>kg zV;gLX?XW#|z>e4nJ7X8@ijmk2qp&;nz-a7=y|6d-!M+%S{jfg{z=1dj2jdWo#i2M1 zhvNtwiKB2dj=`}w4##60PQZyc2`A$eoQl(MI?lkEI16Xv9Gr{ua6T@;g}4Y8;}Tqo z%Wyfaz<6AVt8g{0!30diwU~tK5L}NNFc~-ECQQLp+>BdrE2d#OZo}=k19##s+>Lv1 zFYdz(%*6e801x6JJd8*1C?3P(cmhx2DLjp5@GPFg^LPORco8q*WxRq{F$=HZbI zKP@Q`ksU}+jSI;QPZaZD2nH}O=EM9LiUqJB7Q(_<1jDc>7Q^CL0>iN+mcr6l2FqeO zERPkiB38o6SOu$M1Xjc9SOaTfBt~H^tc`WBF4n{P*Z>=1BW#RKuqigf=GX#TVk>No zZLlr2!}iz#J7On{#?IIUyJ9!&jy6G62FKz!9FG%lB2L1|I0dKTG@Onza3;>e**FL1;yj#>3veMW!o|1*m*O&9 zjw^5_uEN#02G?Q&CgM6=j~fu&h?_78lQ9KTaWihgt+)--Fdet!4%~^ma5rY)9^8xj zFcY(IKOVq?cnA;U5j={=@Hn2plXwbG;~6}Q=kPpUz#wMhMZAQU@e1bPRlJ7R@doDN zO}vG-@eba_dw3ro;6r?bkMRjU#b@{&U*Jo8g|G1qzQuR=9zWnm{DhzJ3x36K_#MR` P_!EEOZ~T+v-}tb96m6eY diff --git a/org.alloytools.pardinus.native/native/windows/amd64/glucose.dll b/org.alloytools.pardinus.native/native/windows/amd64/glucose.dll index 9f39733b2aa569157915d3fa24c11340ba7bd391..cb75ac79a93dedae27e6ff3e2ae7974e40c8e131 100755 GIT binary patch delta 58 zcmeC^RP5+foY28s@V9zmw=WZGV&kpWTZ~(8F=>^8#M;@*n1GlWh*^M`6^PlkvzM_q Go&x}~Nfp5W delta 58 zcmeC^RP5+foY27>wvKsXw=dI!gN?UZZ!vDY#iUgV5^HBKV*+9j%>u-%K+LwCy^Ou_ F8~~$-6*>R_ diff --git a/org.alloytools.pardinus.native/native/windows/amd64/minisat.dll b/org.alloytools.pardinus.native/native/windows/amd64/minisat.dll index 47325d49be2a5ec369ba3690d375c75487a3d5c1..a9baa64e49144ab31ddab1e974e621088072e778 100755 GIT binary patch delta 56 zcmX>%LGIiHxd|Q2Ie)7scKb4mFJW)Iz4bPu=5>%rJNperAZ7w$W*}w(V%F{KH`v@a F006`l7n%S7 delta 56 zcmX>%LGIiHxd|Q2f$NwjcKb4aVBu)Iz4bPu=5>%rJNperAZ7w$5Ss;vS+}#_U~}I9 E0F5aY5C8xG