From 81d4dab990eb41d7dbd465de3e221b3d609c5f71 Mon Sep 17 00:00:00 2001 From: FiveMovesAhead <150831098+FiveMovesAhead@users.noreply.github.com> Date: Fri, 17 Oct 2025 22:28:47 +0000 Subject: [PATCH] Compiled satisfiability/sat_separate_prob --- .../satisfiability/sat_separate_prob.tar.gz | Bin 0 -> 2033343 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 tig-algorithms/lib/satisfiability/sat_separate_prob.tar.gz diff --git a/tig-algorithms/lib/satisfiability/sat_separate_prob.tar.gz b/tig-algorithms/lib/satisfiability/sat_separate_prob.tar.gz new file mode 100644 index 0000000000000000000000000000000000000000..4367cc11af5d0ce3790d3092188cd1a752fbc51b GIT binary patch literal 2033343 zcmZs>2UL>p8wOmNnz<@-r)KVnre!K>WoGWo%G{Z`QX?}H6e0H(N2cZ=8=5OLEf
I+%XjuM+YoI@_No
zKD#;kt>VcH-ua@m3&X!}+A5}5t^Biv$mU)36%6gQ4QnqoclvH+F{&Q~|84HJY)Ut!
znA%Kw8#E&Khe$Yjp1%EM*H3bnjH8J0_| r$ep6|kL1giR^u3Zzy@sY*
zv9tS&(VrfgbkHl?9{D|Z aeaiH(GathD(yV$+JhrOjnWDnaJ*=%wGjHW&<#~k^EGTB1__WLER;@A;dTawCK
z`!+zs`^^QN#}eP{$&y=?8g0N AG&{06Sf++^v2>z*t`#L>#h$ZPNl@V
z6bcp-R)`7|l&5%%mPySwkW%GFG2fBzXcuGk5^>No{A6uvq =r2}%BYq*#W2N|+t6W3g@nzOpxa-tsI+_ax~cl)ln?Yv!UW)z2sj
z838+1Sc-1MxO+H});~#n@@yeYg=%O=;ca&9!N$Vl{`+j-%GLQ&lyyYH#h2OJsY?
z3$co@z71|;g_G(vQ~6MuLD)xAZ9cthC_!->ji*81x~i&{T3f9TX&8o3NRH*|1Gn+dfXYk5W98J39ZbD5qe`v0UR}1Ss+C3;)D7