From d62161802acddc9f3baed3b7354a424a53fb3a51 Mon Sep 17 00:00:00 2001 From: Daniel Larraz Date: Tue, 17 Sep 2024 09:01:06 -0500 Subject: [PATCH 1/2] Remove compiled python files --- .../ext/__pycache__/examples.cpython-312.pyc | Bin 5613 -> 0 bytes .../ext/__pycache__/smtliblexer.cpython-312.pyc | Bin 5020 -> 0 bytes 2 files changed, 0 insertions(+), 0 deletions(-) delete mode 100644 beginners/ext/__pycache__/examples.cpython-312.pyc delete mode 100644 beginners/ext/__pycache__/smtliblexer.cpython-312.pyc diff --git a/beginners/ext/__pycache__/examples.cpython-312.pyc b/beginners/ext/__pycache__/examples.cpython-312.pyc deleted file mode 100644 index 2cb0469d68f2a3377d9c7d1d20e24d1a567a552a..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 5613 zcmbstO>h&}`K`2)Ri!2 zG+kS7zxUqvzW4pT@B7~V+2e5`c$WV4>&b7u2>l&*%*R#*)+Yd%M=W9q0gW4PVw`}! zMX)5S<5mKXSp_m-8@K5&DcBQ^afc4u1S;VicM`~g-axGVE@B;=bIEGZ9(S?ST{PY> zO>{fI!b79ogk}>ZmQw(5T~TFTj9%gu6?zUqibkOep!Z5L#*0(Kyv#*Z{uUQ8s2OdQ zG+I9k{dvS8%<8y>CC06+Wt_Ai&K7rXTwuT)S|SW++`(GMDV7AroYU5Bo7QmVCvTpg zViHM#Q<(E4LT6Z(X3fp%2`0(+a@F|>T9xSQ9Gy})mSz-sQW6B|wi0r==<3tgM{isZ z3e{#X!Xz(n{o6*4)t8UOIGT~8sRSpg3a!MXl)&N*ld_cLWPQEJBsc~0p-3q?!s%m5 zUybNkj92RH1ES0u=q#s#K4}$p5EwChR8CZQNvsiLM3z=k$)qF$ zH+bb{Jm4_NMfgb`w84w?gsG;mI-TT{i8@oDQeFkZj37++Y{0|h!bwI|IayRDXqX0V z>ayu{r;Yuv#5I;oY+#2`jTK-H@Ek)ChDekA6tH9%QPLHVkYo^$QFzP%h*hHpie$jx zRRy!sZBdXImKJ#N257a0wpp~zRy{N*b5U+;=un9Mptitth(ju`3LH!w8dRCZEjt-arSW#eOiQ z(g|MCwPp&ol~Q&G**BT%#X6w7=meuiVzj=!0uEh0F|a!b0&}`ADf;da-ivp{FRVitB z=5`KXA$C2(c35ZF3iuS%NMSG8x_4G5G&UNk1{^)?P|)Jgwf-AB4qF)%H=@y|Hg4I} z)jM$rNL!yc(AfIKom)o`QuXMM$Cs+SK+GmsOVpAjRF8=dyzE4;(VVZp%W~vBrV_tq;uWIy5y$AOeX5i83JLjl&4Z z=RnT=TUQ|zKe&C2b!5no5KBF@)~TsKGV$U-ZR-<1vULO@kf-Whth36wL)W+qwBGPP zXuW4U?f8Gz`p>IccV|5twBEO!PR3o=dbTmsc!#*(X+aqe>%tuG=y#3r{_S*3i-X_U z*oKVf7Ls4r=`{RcIxc;^`v1AK%U|>&ZAiLJw=_j6j(k@g8o75E<9cMs~(x z8%;~Uhz{%huNb~e1Nhvoj0@V`4{N^jB8rN3n)?jL}& zWrY*o1*g;d{m+(uvYInqkh0|=S*LjaAc@qIrlsOPHlh04^s%fDcB>E9p!n$;SOe5o zOfW;3d$GZc&#c5jyT16KiBo@HfhbJqk@z<1-ZPqZLiq|+iV_NGNVDnbJ8k|;Y4MG5a!t(W%6IEZ(5 zYBoh>R8FH%#^A%*S6kN;Au9!iqq^y8K>EqBo;!( zb&TdXFL3yhqPay*Q8^Z>cv<0OT&-wSB*qJ@%!%E*G*aP&Nf{?XjZihG%q19JXN1CT zfh#YK#JkG)(kA1gL~~S2e2rwG-j#9DA@9-&+|YeL^DCF<;|zawWU?CzRz zd>LrTk3D_w$$L-3Pr~Kikz(&ix%cg2@7pWAW1j`D=81(}3j-guej2>G5_o6ES@G|i z9he`Q8_Jz1cMTM~23ERG7yO|aYBdm?zchDg9UXR_oEcvAx6BMz0>PQ{75cy@)MM%s z?_+P79xBp9WqPzsSmu|R(AZ<;?ncY5L79J}H_l2=#!$181}Is4+^ z>~N)>&b2JQHG94i*jo-9ECvqd*!;lbL@99MuYo;l4M1egjeLPw^%t3nFEHOQ*HHF# z6@6Wm=C0huT&U1{t`Hc0ZY6eIAifN?K5{HN%E80M;Ng5=CD@n0Sq%2i+A1yWv*haT z=9zPq=GK`vD#7+g)FSoByXY+khl;_Wa&Wj999{_m(+*&ooF!)aKMyp|U!1$Ra5+b= z1P;y;6@Osv)k<5>LjS_Mi=lE`PqD2h&peGii7mwoZKpw!mi8Pmm#%d5E-*RUV(gK$ zDCKWHoq960lrD6H7Oa*1Cv*F9Z$9oR?>|}Ge{%WeAEtgc_4{;T|JelxmemV;uLY1N z@L=@b=)$%9$^4;0+p&`Sc*X74hmM!rovYs6Gas({TIL()8Vmd0F8RhPMkg06`HqRMWcli|u0rQf$@f}yYC$Rax>gN>g}tYr9eCDUXnVcnK2zPKu=m9B*z$!! z+bbpaU~TN!XYLbgmkBWb+8BX$w|#>M=Q&~q7Wp2G+#4yoJB#kl+^O74`HRb!m(MLv z7w9v8ai3kYVzlQJ@-;ok-pl^-!x^&XzMVy?^J7AXit^_?tI1I56fCdPf z;cAeQ@#iMZ2{G)F9*|^6rwGE89Dz%^j5E^{v<@wjaVC@TbxCjV4Muqhn!D(0ORJ4q z3n72Yosm^f$IQEBPe;+yu`spbIeh2Bs%O`o3+v=5+g|y+xp>nJ3^RZu*ZQZ>yyym| zRx5La!hmHwkcIKuEe~7EvyfX+9PT$;AJ)Rdce4!{cxNnf8`cgtIo4L^%)C9oUCz!r z;E(#P^$O~Cj;4Kz{^2Z)Gk70vpVyN-$Nb|wx6l``#YGFNx zX&yXM`=SP4_^gmg6kHt8y15~TVjA)&jPUSNCZT~ayQlq8>tgHOkrLTlAsuD1rAW3E zf-jZGBYHPjB!h)L-T7nrREa#fVW=OD9Spsy4>c9Zrdjdh8zu7Csy|ri*k9@F`r1Ld z?Q4j%*>z{>cFPB0N12AkNaQLnC`O)Z!g(Ec`}91YU?8_a($Mope@6`(2Wd#Y0$r>X1>dsZ;1a~&kQ4s@fm**nJzt>CFVM@+ W?e7!B-r1wi5q_`#)Z!uxA^r^q9U^N0 diff --git a/beginners/ext/__pycache__/smtliblexer.cpython-312.pyc b/beginners/ext/__pycache__/smtliblexer.cpython-312.pyc deleted file mode 100644 index 61777f0e2c450e4934ae4eed8fd93f655be143bd..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 5020 zcmbVQO>7&-6(+?WQ52W5EjvGspseMein2*L4)W91Kb0Lhk!#C_B=-h1=jn>Vxklcr^3`2G6zPaD5`Iu`p2A-!KJ0=_*4;BL%}nQ=STj+f(cg8S^g zcA}h!$NFNg$IQgLF*C{HA0^bBa&jqENdJ|PLOjgQu_jwQ&lZ^nEakgzGN-Nt)%&Rk z`SzcEWQoPfaWhu#Gvnoi*;h_Bq5n7WatdP-V;W-$W51a;`&s7tuC1yR+~_ki;Ou@P zX8@d@#VrDuliijxxGg8QEl1mylLzOSEv6$79t?rA_i@hkk;iF}-T~>+CvtZFPkMGi z`pK~x-j=g_Th5+sIZv5SU*Gq*zby4pTu}uE^BHfi{R|tj?>(2#ml>vo-2%mgY#|wyj7F?#2Cd+SZG;XuiFOay4CL3tj!#s z>xORAPSP8$r_WzlD4w4=-91*y>iEt0y6;(x>%ObknBHaH66U*{5y5YbSenk^fTPjoWJNTc5(wBD`1r1PNDaXp_a>kBZTT-)O9 zcddeL)m=v)=dA8q0A4J;pt}v}ThF6{v~5}*MC>KqawOMtU7wux*%95~`b}orG?Mzd z+iqhq{D{uU86B`rYcPD*i(H#^eZ-(;`2Sv5H$0{XoS8C!fn}Sz$C`m{sCcl&j>kBM z-_pntXbfPrZa7fu_y%09w+zpy`$&(>8&WaOO3ji!cI9aChgT1e6^`h&z?UmDZ0_m~ zQ^pvt8yzf#dEZsDF~3q8(~*I(3UsJ&hiTsSZL3z84AUqP%oKw)+pWJ@Y`Z42#jY(# zv1`}?<6@xRVi4elFLrH!Ma&M`NUG3G2Dd#{#B#VVcJxrwK;V};OziwVg^S@HsqXf~ zxESma8-XKoJ%rLjSi^F9CbAJma`{cTh~$f*O`J;tw92WZCrq+>%f)-q@4kE3>D`!T=6}j$uOsSH|2@@T+6DB(WZ-pt88AJT# zK=YAY>3arbpv^i$jVH)>=^M(`V=G?%crgH%W8z$zNPp=zcdLCWOX@;qV09~)}dsI5J(G9{B z$ChSc8tbVWe%O!n(rydW9_ug=1_krnDyYmc!$FP=Zy=say`yTgh9Bl4#G~F8rfOZs zl>-__n5=bOPtq71sC5m~q@f+a?OHc5t*#tB)+RDWxNYLnkBYpebDpniAtMMCNUUDIRY!(RbqHdi+F~^t}MA z26_wvOUp};PkrzpLGENwr^pjRm#};Y`V?r9mqVq5(!P#x3oXJ`^f%C;gN+WgbFX-r&2O%TmcSiMikRj01s*kKy(#=SSX;;HbjP|^Bd?H zQW4@KhKb}+)hxKEC)V_gXeRnsq{~=TfX!}*G|AhMf@Y7<^c4emjsz?|>w0Zy8dBJN zP(!YWkX3{-%1Y!FJma7TA!uSCnu>)+tXbAX^>-0S#k%Bji*UN~RuPoE9IDvO57KndJ!}?{tQ>Y-ktpJot{kQU7pWo*>+$33@spzO_zBT>63;$7mBZ`t zB8G|e_+*%%%1TfS8fvCLQXZxOV5f#@i_0--QJJJcItD+`ZQuw)xh6Wk z8zz8;$(xXfIF5w~q4`uwfkS;!!N^2_6F}12tX*SXgdp7@MpDq~FNwUA;@Ipq^Qp5+ zypDTGG{lC0`4&zA@dA}cW~Vin!@Ss6Hu3x=yfzDk&_@Q zTpkw6V=R|>VUo^nc;I`LQspp0ospo;9FdmL@%4T+p1>MNN=7k)EeGim8IM&;j_WYd zPmp2TVlV=vcFC8@;ZiSb5|lm&H2z9y!fW7mDU>ms)PvF(MbG!JaI%bhNW)sh`J+%C zG`6DAWrT~I6t*0bk*vbdDs7|A#16@euqt^v^c@OTGyFY*l#)xJ9;Oy+S`D0n^CJ+&27rYZ>?CLZv2N`Oy`lD5i?#xA*^yFjK8MMw?Zu zVYXUDUkhx4bJgmNz_24uf3<45b&!)p2s39cUbrwd``Ub%n!h-=Fdq(Fyfi&GwQzB6 z-b-Sah5cvn^?++&m|Q^7gz4FUI+phw@shKoVqnV0bp*F|^v$2LrJJsYTLSfxFmo~b z%Ah`q|1|h-W8czu;ri6%Wwb3mNtfw2Yli1B-=9RWw}RTFAK(sS;b5Muv8LrXBnQir z>M}3CpGuu2FAY8NMgPL^0N=;&#{SlqNo5}Gj^%dWdhMHJena=hgP*iAC9hSuY9)Wi_y Date: Tue, 17 Sep 2024 09:05:44 -0500 Subject: [PATCH 2/2] Add .gitignore --- .gitignore | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 .gitignore diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..47381f2 --- /dev/null +++ b/.gitignore @@ -0,0 +1,8 @@ +_build +.vscode + +.DS_Store + +*.pyc +__pycache__/ +