(/X] +COMPACT_MANIFEST000644 001372 0 013473 0ustar00rootwheel{"name":"perl-Algorithm-SAT-Backtracking-single-532","origin:version":"0.13","comment":"Simple SAT solver (5.32)","maintainer":"Perl Automaton [perl@ironwolf.systems]","www":"https://github.com/mudler/at","abi":"Solaris:10:amd64","arch":"sx86:prefix":"/raven","flatsize":47171,"licenselogic":"","desc":"A swritten in pure Perlps":{"gcc9-libs-standard":{gcc9:9.3.0"},Hash-Ordered0145.32-primary5.32.1"}},"categories":["],"optionPERL_"on",4ff"}}+50572331,"file/lib/perl5/site_perl/SAT/.pm":"1$6fcfa2145830f446c54f864726c796a701ad456415df696aed1fb81e5aec5367",/DPLLfb2d8193f06ea087fb0f8e3e0d5745bfd20d6b51f5177481cba0b80822ea3200Probbaf9f8a230e5893066a87854df53498d8cb34a3beb859389680f79a4995e920da0f2745f26afc504db3cc9dae518e11296a8acb0a5d57e9c13942852fcabbf577ad895b9b880f4994706c188a971a175cd6ed13ba15fe3818137938d1b31ba1fExpression97ec33386a2002459cbcae05f450bf7a75f839cf2d04a221b887910840d19cadmach/5.32/auto.packlist652e1fab02a27c7d6f51b5d64064581c928296eb78f8e999fa97719d0d7ca80n/man3::SAT::3.gz0177b1a30006ff7140892ad00478b10827f84d7bb06f1a59c84795893696646::9fff4bad91ec4bec39aeedb75fba135629a269036e75a7e8f142d2e8278f2ae178214cf36fd0af9b63cbb2d30dc6572ef9642bf5d16896d11bc66e7912f8a923cd6892e235cd074900b3ef6065c7c0a70539fc5567aaded1daad51182200f1df45ffc24af937e523a26dfe8dd8bd6eaa0629d25a6cbe6e72c86dbdb0d2aaa9a98c2dd3cd844f92589adc83261ab0b67566253315275c02fc36b5b05f945bc54pm17252 12465144561 023447package ; use strictwarningsStorable qw(dclone); # This is an extremelymentation of the 'b' a for #ing boolean satisfiability problems. It cos no optimizs.e inpusists of ae in Conjunctive Normal Form.means it looks something like this: # # `(blue OR green) AND ( OR NOT yellow)`We encod aarray ofngs with a `-` in front for neg[['blue', ''], [, '-']]` our $VERSION = ; sub new { return bless {}, shift; } { # ##e* `variables` islistll claus.model se assignmentmy ( $self, $, $, $ ) = @_;= {} if !defined;If every isle,the which worked. if (( grep( self->( $_an == 1? 0: 1} @{})an**exactly** fals``;ill notwork010>Choose avalue to test by looping overpossibleand che to see ihas been given ayetmy $choice =_(there are no morry0 !Recurse into two cases.we choseeed to be eithertrue ortheedolvupdate(,, 1 ) )true||0;undeforeach( @{} )and lastex->} )} # Copies, then sets `` = `ands it.copy$copy = (->{}luopyre# Rto its actual, orinedsubstr(0eq "-"lu1 ) };? := 0 ? 1 : 0else} # Determines whether acertain@=isthetrutru11Otherwise, we don't know what1; __END__ =ing utf-8 =head1 NAME - SYNOPSIS You can tuseexpr =->new->with(""); #Uses by default, so() it's not necessaryis->or( '-foo@2.1', 'bar@2.2'3baz31.2my=r ydirectly:= = [ , ', 'pinkurple' ] = [ ],--]DESCRIPTIONaSAT. In computer scienc BSP (imes called Propositionaland abbreviated as I or>)pof dan interprethats aformula. In owords, it askbeently replaced bylues B in such a waytheevaluat.ai. Ohand, if nooidenticallyforun For exampl"aNOT b"beconefia =and b,make () = TRUEcontrast,a More: L . Have a also tests fil of usage. L<>us.METHODS2() Hrowan B R0can'tolvedthoormhasht how toin a painful way2() tot presen{ => 1, red => 0my $a="blue"$a = 1() = { pink,- ]0) new_'foobar' now->{} is1 LICENSEyright (C) . librs free software;redistributand/dify itsame termtselfAUTHOR E@dark-lab.netESEE ALSO, =cut 3174204use Data::Dumper#to switcparent(needed alternative)importclass, $flagif (eval "use base ''";impurit){_->{$_}++( map { @{$_}_cy_(up(;unitthem # TODO:XXX:working #_pure($_) ? = 1_remove__if_) :. $_ 0: (for; #;#we were lucky end; literaPure ruleifonly occurs vela,ited$op=?:->{ ! (!print STDERR "is IMpure\n" and_upFinmusand(!? (_->[0]?1 )) # OR'addadd =), it from SINGLE ARRAYS inifand == 0;#avoid cyclalready set(se) 0deletindex_from_(=?:11stclistnex@{$c} <= scalar();>--)dospl,}--if $c->[] eqes}(overridcrandom620630'use Hash##,ohascosts()SUPER::, keeporder of keysset(>get;geto,ofwes a L<> as result/llowing:2 SOLVE7707572my=>} ) )16233217use 5.008001requirCarp qw(croak) builder. Noteconnectoris `OR`;, wheninstanc`xor`, `and``s # you're generare `AND`ingns=> {},=> []=>" =$_[0];1;"}->( "The '' couldbe loadselfAddprovor'gorensure(@_push(expr} }, [@_]xcausingarguxored.2xfirst'or' por "Onem."my @\@_Then"" $i <= $#; $i++j = $i + 1; $jj [$[$i] ) j]]andheir ownand$S. Lazy-load_[0], # Pa particularmarkben}!?1 ) : $_ }?: '-' .re for(exp))is {a specifichelpuildandakitorORxXTkeyirceathe ab0. Note: ifO2() AchangeSAT us__ request,457 1411143727163 3.gz575437Yks7ί8/iİt\{2f&=Iɺ`lvM%}]ߒ3ttWuϳ8?Ad*2xI7m;mj@Җmο4Dԣ$"rwI%dY%b.#ZHQ$9`̟RFJyyWjq}37rGt+1)3M+u땗$_:\௯Y$|E*&L)KE\#EPʓS?UL9DfC ?4+Ly4foTKP65J|^iyqw?q&ۚSNZߔEX)k2HŷV*GL&s^fݡѻ+oPh-SDHA"w,i-XDr4fƜd1bdI?٪X g'@NZZ[Gr s]zm6{yƝV [k~X]|sC LS"UFuu[uѮ.З#{3,.;nuIᢦ W?yGN;fW\;6Q6V76"ƟnS{fղNƴz61ۣb@F!hD\KLĬi|'V7;Fq"# In'xgEgWשL_[.F+.7 Q}I~yvT:$NӢrߖq~}}c1U`Z5[da F9)af݃$mdE^Grk2 Y~!EL ^ԃ?VG|Ynčq K|vZfrrFFFGG>G?._)8Ebݿ ވ ڽ &[?'y7S菋Ӧ,O#$G2`!ju>_&W+4|nv-N]FNx=x3 +t;מ~Q+>0\K 0Svc8c ѯgDwk59;35y(cDM]>cV qWᒾDng/ e']zE`{ԉ|w,'鲙BLdxFYU3:Ksj'j*AȻO^0Qv+R *,2n,e^Ifm6*I re]O> tվvÿyJ 5/wQU ςCd]h$-ty| &sMqi[֐1"anCfQ>-e9PYE]gY2rHN6yiwɿ۰#aBa=Ǐ~ B(3k;"]G"~"ԙ/Yrᝮo9Qe/TgMƭ =nNNȀMR IWL-@ZܕθMLtvAdԟy&SZM?#EIi D"? Zk^3^d^L'ع?~jLJkZ- Ә2#>ivm\@JT`~Ei1c썳 a纐<(ڪP5iY[ܾT3I묷38\C=k_>Fh[0(~HNz.qzM+A2u9rN\mV\'SHN[4Cv=AO]GUTKuVo~wC{wbo^;\mam{7Toyȕ oN-įlUTqn{?Csz N'`@!4דyO5p_kϹ63d ʥ.gJMz6f)[b2DhUګh` ?;UWvxpt::Z/;&Ը4_W7Z^P4ߺ88#8A(9FBU9gB< M<k-ӏ*rMC]̀/b Q /- g ؉dgU=ٝgr~r ߾Y rF0zy]7"7266271X{sHOGv#AF2UNLǛ([:땑a/~=~uT~wOLN4 }Syk@*H&kNNoZ#OҞiL_'"pr(RRO?qD`y%VHL%5V JTFBi,;8"RCC5Լ&뭜-|=`$*$=$jD&šBi"%J0 b_9ru(7&noXadn4njT'du+.dyAƭd׭Ҥ^/[^ [3w?U'@*ת èH)D$HRs=gvbhBu#H'U5o긱[oN|cC(F)x8̤SR1\dQ"cQ#tqwfa^naa^5[ I,Y)Kg`5hV_k,ԟ^;FpŌabu cp*MҬ4҄͘.S9K=B1H*cTNbv8E+=fY~51PNp юlbf괫2#G\7FΨ7Yn,8cHlkvܦB7Ėk/4oTpgLMV5]l4qh/{M(Y!m,,x;]&Z0KBJJC[H(^_R{'eLC&'~Ynwdd=aN)i}4٢ C//\5ơ \*EYƳՑ;ٵjq,(K $Q>#tYȧfYHX˜16R6+`I|.Ψ(ڃx:D|zߛ  h{+׸Mq7G3z &ջemw~8ʣKskZ?<|<x8>j䲦Z% ֿ8qgU {+7uU7kkn-J&7*Í.=:V p |Fw'<`OI@ǽÜK+pH0cC~bXcdB,>g)[s4? ŷj\k=;| bl)O8#97Keȹ2.\]z N[TM=|?wߕ\D"2Ano^&SJrؕi̔J`Z!+pt9x]C6P0Mu"= %|kw+]4hT;kɣ;y:Tkx(e\H-bYEy<.`y$ZmW mP#Txܮ*![<(kj߅4s>\/M.bzZ COj.w"黓˳[=\ Yi%},B'+"1}_L0Xmf/\+% *Z>l_.h$m 䧎Wx%.#%|5KVBWeTq:Z"6p;[eggy^'z4O?l+Ze#Ե dr7꟏/n5rh=O] D|I6507110+e2ck Z땑d^.~=z lq]-U_ӯi7iQ R tiIEHO- N %vôi*BW(b%E0@Ot%McwRiS)#ZʐV)e$s2aޜR27 jnƲ^ɅҍT3l?T~I<d?Ydн&doHXSk)pR(U"L|EaBpʕs/Ty"1gnVkQ Fp^ \,;L8kœ(4Y <Ղ(cYʎVmb-enhAz4H^` A^Qp) Ro]KJRy$" ro3mSi %fb?*;ZRK\XyF!."}L`8kZ74VlISFMQMK('#bI Z&c=^14WQ@ [eJեL7vB{k։ϼ?֨眙tJ !EF:h2Ja+ a,BXJ8R -ݡXep`)PW8nhQ@kTN;&pŜ(S *{elRLQ+$%-*8K E6HŸ̧9G7B1E$f/X1["uJ=݇` b+t3}qxk7O7N\~ evjvoj#J:dvR$-x g9¥CE/^嗭' 1e>^w@Sߎ^CT =Y) 77XX4) y.$b(?bgDjdϭ $w>zom۲Ap~fZ{A{K/[z[ڞn){*6uuSѷy;ۅ\z]ʞZ.α'gmƙA֬rnmkY%ӟt6:CƱop`ۭįbVkK]\.Vރ~:>MЛb07F(Ѳ+Z3VCz5y^ЕFn_{oڕ|`F->jn3vΕ(=ۭ5Ƃ4f۲.d@|~OdXc܅|$Yw%+bJN̳(eEShK :^JkjJ'R-6h#zМ17e|1 Q̑9)N3:2<:8`+OQs/" PItx55{5&|KM~z_p湹7-ou"2'~9Y'?-ϝ _YzsLX':W_õL4 )͊W#e`|'\pӟQIH/]CĠy>tz pc1 2SL߰(0ƱWr\Li3}b7짜NO(]lp6 $ 6&> P~z{~YyIl(thTݝGKd:9r&P}L?xgykJ> 0hp*ˁvOB[DuE>S1j(g텒2#Gcb/ނ3+huu/M⻚˸Ԕ]!-C;WSjRRxYN-0אQ;r<_,[ vŦo vΌU@{`n8Zd8kɨogHq'4!mIGpZ^+WQcdb-'WgǷZoK ]ػL[G7Q:^vyk^pi;;{~7p7oA%u#dAiF0|<:y3=6Bxld_ p+䋪)zIqsC  /gRpVR$I[r[F/]/ff(ӣ<9Yaq;?-}$Y.?%K457123s>FqI)x̌{Sg}I¡/$87eۓ6hgq(2&`M I%2tM558$ot[;/M2yBy()i }}vlO$!JJi"fKѭT}y 9ed /Wڱm-zʲ^˅J))_{;+up*&L{~}Mѐ$4aR(1ˤL( G)!\+ON3G&r_4;@Z+ bʣ)"{#ZDl3X׸F '(L y?q&Z=m+̶(AݻQpwC2wQC=v]KʖRy$Ɯ)䮄0"%ab?YE*ZRgKZ% 9F^2Eno24tWVvV:Nbi[\$O@+^W}]鋣not1K0 i!sv3׍~t^CQAԿ 訷-?0Gzi_.l5!]:UYȱ_^=ɛ+8h{-sJ]w,mMu]B",FqCLҸSq*7y> 7 _ wl/M@{Gl䝦; [[~|Ksp65CV]:ghׁz 7=9e8Sc7%cխtdzZVhawmAìJX~`ALI>iمqt }8m۽bɲ7Fhه-)+1^iuoAIMkEvH$٨G-u&yk} A{nscAmINJ|R2;N^hЪ㓁l V]gY1>=MH[~%'fWt̽ {iRI)iK ^HkjmT,VN34%ij W0naΟQͨ hCqA+o/.'ҙskv\:8竺]=5p74e M TapOTt9-~Yyih*Th`U{ۙ( r*P=Lx⯇yJ! q S1d+l.z>7`$ƺYz(rWB( rYw{ꈵ бďn\a@}nje?\楦> AvA!׺^ 䱪Zbڛkih2|7_n,[ Okm t&.բhAnKL7R& Lx"3o0 3AEʣCdh;q|C"{\+ji#)?̍1a[`AFskƈ[T,vC[[n~#F8ZbIGΡQ!RB"&^2[^\H=W%\\L S&I8!ƞIvS̹N>!*c&nF h 9y(̽@*+S%["%=n E~Z ,܌=$߼Q:Tr {$ݶ%XF_=nN v$b<hp>3ToU ~cÈ 5476bi鸤`{̌3qөɁг$ɛ2hv4AhI DDO- N0 $vvi&"O(%E8 $M+&b.uJ(O%ٓ &d?PPöz)~D7R~H5EFvWTLN"75!GC’8]+<2%4[pq<#:͔-S}v-jHSkВ'U 'cMh_Λ5@.2-ȋsǙh ~M*ۢ4vD?KPDg] S΂GY Iu-)[I%tsf{#i JCGO "-Rbђ8[!|4 V­h)r[~") {cumrWVI,7w7a(!?nAT,HGr}v7lZn?]ΓcrzW_{\܁VŁ elVЛ-aCCLm2ݖ ݿA I]чuEUSTR(:I:y-1>och␖u+(;Uo5@hq:ZÏN|dG| U)/2C}XU[Kܴ@q6S+ТJ%PYr\# ǹJqf)JLSvI,3u`MRD"hm *"Û؇Vp3/X12-sNH:E2T.qu:Е<<ۛ.#l7sG7k7%D s~d;NqU&X9ҥSE:.~_[Oaj90A};z6ȩ z~2i_Ttb^[J$sŨ;nI7Q~*N~rV:D. DwĶZNm ~n?-}-mO=5 gS3o֪P:>Wϻ_prwv6v8Ǟ-gJo f]<dxwyޮL>yXO<@c3l[4rU kyO]v2h4է1-;0nNG[WQ \9?ۨ7Ҵb3*JWzZnкF j]bklƜO6F1g8Bnhڣ]u+ύ/&dLϽ[Xܽ )=/kpYws|2O.[4<SivsC*>ܴ ݗW=]%J2/te>Ly{aBpU ɤq$oS`eZc>IO21Kc`GF DZfH~T,r^~SG/cB.'Ld7#}nz^r!3-LR`zq~u0L98xŜsΝV[H]QY*swZ>l_!Gq6o[6Heprs@D٭PE՟O5ⱋ"?bkÑk@)+~1a,ERlZebfG2;*O/ ey4ѝo;(:P-Ŧo85045177XmsGίÉ,XHN)8R#D-QBv|Ma3"ɲ*w*`gMI<y -d(964kҡiRKS/}Ia0&ip.9ʼn̗>> s.iXRX8Z i-QJ2'(湔d>_)(daz)^H+p21knFf+ɶM7\Sl MbJz-E"L&%"L}l”`.\^[Y⅋$]Z{X-1 0-E0d5Q)ܫf 'ȗnͣ~ȣLvx_'bPjF{wsp(F"2x]Rœ-l)FuľJx>rߗ cAp[DQ([|V˖4~[~•)22ѵbNyN{X"$Bn@7" = !Zv2/Ӗ@vύsY=ʜggwUuv؆0i6+z1KZO%ϺC\}]aդ"r:"¯e0`C.q!7Z׍ ,#dJ5@`*ZN|XHS(fV"RE5RbŌsC;UÄs:\8ZO*ǽv{ojVa`ИM6mg~kgMRqη98 ak,ǁH+cI;HM8dh6K4~[7s)ȹCNٝ_F\ޒ.+TbU^cdiqNwB™N! i\D~rQd[:?Z[mzm۲s~n?3#yiOw=ղæz(_{Z}t'T=k q}E{r6lXͺGǒcԵ[Vt6:GYmm;p٭ԯ0֚ /t1I]:RVucR?CZ? lbtޭˌJdvvkA1#Kn|Zn@{yn9wjXM1f!KAiȟ<(YmOpSH_h{%RHR FֆڰZ;Ɖl*Wg׃?sֺnL0@X-05Zc9늮%I2~xq?x{b}Ov^\$#J HTψ(EiE)MYMy5bO[왳\QQQQGՏߗ(6X[bQVUQ<) p^uuO.|'%BPKN0_Vh N'^5Uho)gxr3-+; 8~x{NZDBw2i\:-nI)mJZ&SoxhM\:" i>:S1锚@!OMT+ƍ , q/OgS~^߭^VIB<,R|w_!ek:|90 *RT UZ HMQм|+ [ћ7X|PQ+|tkvK."fD{:H/L&Ud«u\cVjYU̇8'y…ᜥZ*{ ƅ׶ c2~\KuP YW{W&҉#?߳:`j ׂWlTQo֨MA>e{|odNsQMaL7[DP*;HK'M>rA깛%%Aʡ]/S7(P׻8bf2;)ij3^ݙ+cЗ}%"LlDqcI:0@H, R hs<8 C!c!bɐ}AV 0k{ip+XVoGcfFml\ +gE` ̀ 0+k4I*,遏bao# `n lG(6b[P&;x@1=Vd_~c䀥=͔3JOVGnrۏ)\E ycp$oQ&\zM'f ~TLݏbIVlG~pzm1a}ggtQdmM < ɘ&$tE؝gmFQܑu lh,iC}ۋKA}񺞭miE{#v65b_j[  @"=1<JPoY>Ep!륙WH[LgJJ#t |Vh3ed̢茦pGr SAm[ݙ/%~/P0d*"SrkE+3*LQ,"E}`: X`¾1]NI#3*㴽>~5aY!~~&`H'U},UX 7r%rW:6 ^<ZMU2'_Vp#Aur@7(Cyk;Q qU&eo=N=-fTbS0XZa K6fK#bRvHf!(8زKSb GZVM3'qo  M@ F>7}5jGjz3%p@x5>T{Dyc|S':y۾J𡸧`> 80DpdKǘy08|v؆>8 q3_$V,~>+XɌylFz5gBa` Z)}mlô2 zsZD xÈh&@T րTb&GiʱDSGح4ܐ*әEӌgh9ZE4(CEn~"[-;fzc&\o [gz3rT4|PM?rlA,؈FN0tL|Z[<ͥ %d<.TzC w`Pܝ'XeHsq@ߝC&N|L3;@/}@mDv6]CKDfʀχt]TZ@8jg*g]7XcȆYK$ LMt<_HQc8K5#JH*2t݉4HVѳ{vۆ O;B~+ @6G{K7fBxC7Sನ {}p\GrA&`;A6NuQ:Ar \'7[8 pS; ؃=5ғ.tCWP-s4|"Xz3zclvFyNN-fHx u ʁIJH 4XThJuBGs.B;=a!?}Og&ՙeyHM [e6(#8tޥOvW5mKxЁA;riyM7rl ʹH;nZш͑ptJ{vZG 7c@ W ⵑ<0ݣ08hב#{qE(1[X0!3UY1F>>˯-yP+Ȏ[ƑfǟjTcmtf(S/gl?w o/˹d2u/LVdp*m 0z nP=+t%/!C8pN~23/>`R'a Z<qFItV  +7C-.)R5ZYJr gm%%WHz6gFM|A!Nl0+,R5DمO&{込{Ay1X?a'Y~唔/QGNː_ ?F PoYٜM -,xBL{J4?uKL:Ñ.j@ ubm[(z^jv5psP&!Q$ÓF H"*amNu469cd01B\C8#RKi+qtc$cGw(bd9'2! a}yY d'H{S"{:K)H{Ujlv 9+Xw".U0™J)0+]1vB^ u=7z ֬Fcw" P4'ڌY,b8Aλ*tl n(;>n[m'fYC~8 ($NNsuO(`ñMzIƴQr$26?u=pG$[l|cKi7E( yߜSǿ_$