PK-$M:ף*cnftools/__init__.py]! D|Eo$go‚i&߻堧t|)1Si㺾epI V0'l:aSnҪ[Hli Fcm]nH@fR01 Ak8MVl`+YfS@ɻPK-$MnJ= cnftools/io.pyVMo6=[u ഽ4P[o@n C`B"&w-;AY<j>dmYZ!wˆ@׆}ĶS$<]exV+:ΫzL,m_N7IR6qƷ:Qh`˪JHa*3ncpO1C:Y0ȋ2}pe5s5-Jwf9 $8:K~ /`L_)TdDv ͰVCa4VL ժ@Z>yt:܂ TYmy=JpQb7%KS ˍ3)mJZ!bI@۰ܒ˟7P`=fX_}m^4d1d~,)4wLQՓHDCģMK-cRIއ^:&*P>>:~LsaүOGZ+NDNbIQM'u>W) @ȇ#(Λ#8"v)}Dc ;t)̴̎8:zJ/Y\g^ kyd-jZ-)"%E៻qP eqA#s\;h1A~kl@eC|[zUhɡͦ,9f Z頷 =–h 7ݔR +X*^r7kAJbW!j+8ACí ayYh̬mJ ?aHCiyL_j#V#gRXG_v+6Mش CD^ 02WrYn:}L[1,Ksx8NFUY3O +ȥII?b:v(r4ϧC;^_\2lyZטVVQ 6Ѕ86-5r21ŵcǘ>"^=hq+ܵK b%H0 nŨ+ JLUM5[1)~if3C;\JC:.= ˯_]} &z[ELn3ʜ(uuRZdqΕ"ֽtn1 &ii+`kAizXY ڜ{,8?eI0Z{͠VI5֗`rLӂ3z{U>͔+ `sjdko^_0>Ix$jJ̬FHN zxGMke+fK?GyOV_ęYYuJkApLKVkۚuq:7SK>(żuGEGQ.SՁ}B{H_0|l#&_2\s>h_w3N!.ڮ.ǹ\xw5 % |5 -:C\_[.'/{*z<Ôϟ%Qh,,nԽ]?H6@qbfs]R ,6"25 {{ef{Zv?H="VMZiܛhk|y,6V7)Aź*t5OSV%dp؋gHU{m>T90M;D)1Ǽxnkg9r dDh6/{|n/yZIu [n)?4}7n鞍/PK-$M7ݠ Fcnftools/tseytin.pyur EE`6L8CaJlX=OdL]zCZ ;׋t;+;k9YHI=uB)(u,:)VV:dL,A<~˫O"k~ts+}>!4rCH NҩB('|`'e*8nJg5k_7lh$S"N唃)u|0 p ù(gSZGkdղsHEʠ4U [cKѱR.9 x2\70kLp*꺞d,τ)c S ht4/Z)2㻳]6Œ.N{5Q^^UsyEA;@V X(z,?\ s" KdC*y6$;qZQިXKSM絒z=(}+Ǧ,S,KuOEt0B~[ ..*&:-qDXcF@D de%;PacN:ɋ rn=ag?[ ]bOÝOPK-$MЄwGcnftools/cli/stats.pyTKo0>'b$q`kZqB w±PU;3~d[<$r~։Rƻzc+˝5#F){i2d\]Wϣ17?n"%Pv<(*wp ;ѫt^\;DUu8$fK]eoon[Ä x\)VA=K5JVfPIt[:[kV ݽBM]7rH&(4W/O=l5DQ_#E$63&AH Yt5QJYjҕ@ndGT ;Rԧ5j}kkDot9DGѺת=˱k]9AhqGgQc:+?- Kk▊pljh\$Ceu$fI·hY-QwD=KiRm{2{`W8xv-*Ȭc{o]l AČ-m\ {7;vq(66m.7"4h&HfAe[ˏ: Islj(n2,-|cڼ1jU*{ݯfn9*L(_PK-$M4#cnftools/cli/threecnf.pyRj0 =_!! [!ecgeCWa{XXAEYi)O8:wTH^0HR2M`[w(ZviGjwZ9L*>, ,0 [OW ̉ pH)@؆4G^lZWCB9]Ri0Ided`hH?G.Lًe fk`Oše C>Wpfbt3:V΅BLK{ ~IoX*3&ͳYL|XQ:R2G*r!%+ΰEm5L' =]/pѺbz+wrfuC&—7A PK-$MV3I cnftools/cli/karps21/__init__.py}RN0=_1J).B-+"RāVLm6*d]*6y~yEP{E AOfGucP#}q/<-vڶb4$zGJ+Maߕ#z*ODO|X.-uܹwA=n~B  e/f]X.vvo0"xr!H|XnZa]k+1[Z[ie>HrH׍0"?q*=HxbKH%p!:[e oK ggxʾv!:j[Ê:\TXnP V\(m3BxpmaN}5n!Ș$|NexiO{".Klp"#{BT2X8WoPK-$MFD5j'cnftools/cli/karps21/chromaticnumber.py}S0='_1hN68P){YMIbͲB;c'i ̛f^n^샣Q=`}ot&kȃJrF1 JXIsȶ1L+\8&lssXY&qWMtD[ζR++5@»OYB ccî10ȳJtk&-\3MR$y֥Q#"J;2 )ubsn|R$?Z1&a[Sqg{D-Qݕ{wm˻&'C@j^[s܌؂<=3_Q!t[Cb>Ĺv|(.02⿧EgC[Bu:W&. u{\7_]S,W-58WE>^~n)E7 O$Ywک\qFBJqTt#3`(U1_~٢C3n1TKo\ `ٷ|̹͇NjD֑a"kP_U'k-'kq]ǵԵ`MPK-$M墱3^#cnftools/cli/karps21/cliquecover.py}SM0='bJm"qR7RM&Ib{˂ iOǛf7*oMuBɝŬq͠VNyo %,p}"o=k(-?FY ,,c$=6z@öжFh'ghC >|Kb`0Rȁ< w TVFYmVBEu'bܪy沫g.&ϳ!6U`3u06gQnܓZHl^'t'G.2t >}@u\D <X)^nGYڻ - b)c][ sS&}-]`إEWeFKB'WL[*3TZn߾XZkPCxq4RttEa:ppĽ0#7޾.9 4-DڄãþKVT[Xҟq%3J]1Ky\49.y# 4&eZ6m[ń$#;E6`EM#M5n0aPK-$MiMcnftools/cli/karps21/graphs.pyUMo@=ۿbTNĂ !pUiB;]ӄ]uAS6<պȂF{] z H\ЪYfdE- NhI؊ d-"aKaư9ʹ%1(q=eEҷ #B86k:}I'''ﵲJB^BI4B_Հ$[ úz8 \\ϑ&^B2Dt擣]>#NҢ& kܘ)|Qf:dA &O-JHF-){y]JƐL&JKLi΄E(Kj]XYruuF7ئpۦ=0uH@ id S 7n&m=2zӐ汸1|̓IRZؑiΙG4%ά;{; |<4r3w [/b=)L̠FZbn-Mm=3DjUXgP&)^RnesE^$µb؂MP!Ňyh8ԭc1 Ih*oe)l}kTPVB2>~ٙAE<`k:hydQz 6=`N?t.lv]btMiWshc P辵 ,aKU;e6np[Ǣm'JdZw)v:x0G6*J-3:,Vk g{ +4)iS_EKW RRn_Ft;j?@ DUp8(C*Yw](m,+G \A?WhC/dgh|#?/:DMy=G8zfzZ6y5 %OPK-$MJP] tests/test_simplify.pyVK0>ǿBGd&}QiCaS0FT,L죅ؚof454Ӛ*ERrEu'AUrOR6-ȁ(*9Q rJWR[h>TFhՋ+kcB `d>ynVp>K$3{$ f@v?zc@0m\ I%_g FOQOꁁZms[vd)ɖLbHŁ̦(W Hf~C h8#3}D8K;RR3).az "Y0W0zLMyZӅԴ+u}*:/{z\$sm+;U]Z1V&6ސ,'tf<ͶZ& ؗ'U yaoR-;(}hiaG3aRFO#Lcns+u}T3n+/ ,U ,:\ܤ0TsY$? E3RP8R#UI1RUSjJ$h! :&ĕBOz+N9rUoO/PK5$MZpt !cnftools-0.0.2.dist-info/METADATAUr6}.b'/M2"eq.:$DZv:O+1 (Rפ/,vϞ=d/3e[Nhĕ,9T/1۳(I]6 (5E!ִ0WzI$uFKl{T)SGgWh vݔUrK%.85ek;o1jFsދH>E8enN/ҺT|T)kSq g.Æ(䤧(v.Bz$Y&+qVHB1*Y{xkG XƖQQ\{g43:`>IeK7؃FUe 6jq.bg\YZYG5jG8y􍗏T*ﱛ6x KC`^NߵcBoOCw4_a<|&[5owD4VBl.Sm7,oR6v7b%O]N]D{8-'"IRf7lYf-Q07sigT*6vG|]nogVJMsĀ6 g Zɡ(atZǎ jRK HABWFz_4{o)")41Kє)Va"N508%ovaJtWGwQ7x#ix0j/rL-ㅬCr# #-Yjc* ?1p hT> [r g7)2t]ʘ2|)m].9ģtZٺ.v{"{y읮t ηSggBxjGԽĖZO[^mt2z^t48:3}[yۋ}؃t|lDȧzf}E9h2U~t3o{/ o' e{UKcULOu=m @ y EbHW ]E'|6;y[cHo Tsz:xh0<[g:3c{sN `: )g5>8q6 t KrMRPip:aPq0Q!֖ zt\%py[W$x+-=FȍDTnr}R$j(娅35;:>?PK5$Mԏ\\cnftools-0.0.2.dist-info/WHEEL HM K-*ϳR03rOK-J,/RHJ,./Q0363 /, (-JLR()*M ILR(4KM̫PK5$MM,./)cnftools-0.0.2.dist-info/entry_points.txtN+I/N.,()JKSU%9z9z@UnbfPK5$Mmt`&cnftools-0.0.2.dist-info/top_level.txtKK+)*I-.)PK5$MdqB4{cnftools-0.0.2.dist-info/RECORDǒ8< a$D 1ɀI"鷧vfڽުJ_ү䞁QTKEoEԏj:R@z EPqE6$, 2W0I ӱ?"1*#F# \Ko]9գ]_ACL݈OvSNjM7XTw+Y$Z>Ά;D5MWdix# d5t}xP}⌍Yc/|fb!ǟtjo,j䥉e:rIY54-s-|zϜ锁H|?CJ3@:%LV`uX+CR\|9ku#$@}zD LTÙ*Vׄw8d$rW]=?P"=3\򼄚#Lr)(ǝ:7$/rPBK hyCްk9gwM$Ö~H\[oC}S)R4~2<9A(B1_úp"pa+=؋%m']=r9`Ek]TsZ?3_& A>XϪFM5F:-1?dD~$x!_PK-$M:ף*cnftools/__init__.pyPK-$MnJ= cnftools/io.pyPK-$MDTcnftools/karps21.pyPK-$MXg'cnftools/simplify.pyPK-$M7ݠ F( cnftools/tseytin.pyPK-$Md cnftools/cli/__init__.pyPK-$Mk cnftools/cli/cnf.pyPK-$M| 8cnftools/cli/simplify.pyPK-$MЄwGcnftools/cli/stats.pyPK-$M4#cnftools/cli/threecnf.pyPK-$MV3I }cnftools/cli/karps21/__init__.pyPK-$MFD5j'Rcnftools/cli/karps21/chromaticnumber.pyPK-$M墱3^#cnftools/cli/karps21/cliquecover.pyPK-$MiM@cnftools/cli/karps21/graphs.pyPK-$MEtests/__init__.pyPK-$MDKvtests/fixtures.pyPK-$MEtests/test_karps21.pyPK-$MJP] a!tests/test_simplify.pyPK5$M^O_u, #cnftools-0.0.2.dist-info/LICENSEPK5$MZpt !&cnftools-0.0.2.dist-info/METADATAPK5$Mԏ\\+cnftools-0.0.2.dist-info/WHEELPK5$MM,./)b,cnftools-0.0.2.dist-info/entry_points.txtPK5$Mmt`&,cnftools-0.0.2.dist-info/top_level.txtPK5$MdqB4{,-cnftools-0.0.2.dist-info/RECORDPK1