(/X +COMPACT_MANIFEST000644 001372 0 013473 0ustar00rootwheel{"name":"perl-Algorithm-SAT-Backtracking-single-534","origin:version":"0.13","comment":"Simple SAT solver (5.34)","maintainer":"Perl Automaton [perl@ironwolf.systems]","www":"https://github.com/mudler/at","abi":"Solaris:10:amd64","arch":"sx86:prefix":"/raven","flatsize":47175,"licenselogic":"","desc":"A swritten in pure Perlps":{"gcc9-libs-standard":{gcc9:9.3.0"},Hash-Ordered0145.34-primary5.34.0"}},"categories":["],"optionPERL_532":"off",4n"}}+50572331,"file/lib/perl5/site_perl/SAT/.pm":"1$6fcfa2145830f446c54f864726c796a701ad456415df696aed1fb81e5aec5367",/DPLLfb2d8193f06ea087fb0f8e3e0d5745bfd20d6b51f5177481cba0b80822ea3200Probbaf9f8a230e5893066a87854df53498d8cb34a3beb859389680f79a4995e920da0f2745f26afc504db3cc9dae518e11296a8acb0a5d57e9c13942852fcabbf577ad895b9b880f4994706c188a971a175cd6ed13ba15fe3818137938d1b31ba1fExpression97ec33386a2002459cbcae05f450bf7a75f839cf2d04a221b887910840d19cadmach/5.34/auto.packlist652e1fab02a27c7d6f51b5d64064581c928296eb78f8e999fa97719d0d7ca80n/man3::SAT::3.gzcd850059488f1367615b9c7ca1ac0bab3514d393c3e550969089a5ae2333796::793b3245780eaf3d4228982a4e333a23588fa82921e37b837e8ed59c94db21cffc4d58d61a80bb90468d2029e067270e1da7b883d71d72c7e3b1acf04aeffe4bf230c0b5c9901e5f492cc414c6ba0e9a2c939cb19bbdc525c2bcec969f07145f277c3b73955d2eec3c053c55c8919369732e887c5e8ebb73f2b75b481bf11d3e3b1b7d0e7c6e13fe0b70e3424f77b7503be61dbbe6e9c06f8895d972b8a6bapm17252 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 14111437264 027170 3.gz6005425Yks7ί8/iİt\{2f&=Iɺ`lvM%}]ߒ3ttWuϳ8?Ad*2xI7m;mj@Җoο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ݿ ވ ڽ &[#=zf4WG'T?wT=)ۡV}`a$p_OGÑljhv1UksvgkP0ֻ} a1@e%}0'^$ěONi/yPCBxHr-ҥD(i<8mvqSUlELW_ş=KIlY;1nlUlRnnڃ ǨZJ:oT݊e.}B 9KK Ww?Y[)ͨJn\bvOB8]#vA$ORS]#bi\݉MJO M^:<\ /giɸFU#!|ԍS6}Wu36Л2`0G7q`8j ϖt/&JA'XkC8E_n,6G7÷_QkzA[cb0E = C_Լ֑OxHn8F*"#e7>N[L:Ōq)~7mfbZbҹb,HC\&+ <]DDVQUzx巐|2I]Y"RPN3T阇#Ѫ~{ _UγHCa6;-3d}*#(Wjk]y7Ô/+DKyT@`xֽ-<4W(9 r*vǏ_.ںVK.4HO1q]v0Xr)ksZ {F-ƹ.$3*TfCZ/ crc:-|nLn71jP0dOtڗ9⢑ZL)J6Su^ӳoL89kNWz%=oS:_]vwzmSbw1RОl䮲c[mg We[X8iD޾+rd›S6k?xfUe){{=)^tŏ<<^;I:xH8dy s YrKmٿco10~MYVL1Z*/*p/NoտN 5.̓ͷ.?N_Ji|UΙЃ#B#oS?ϟ.kZJ\{P3 d{‹uF=6Dzv1v"g#BrvY}<㵟pos`7"72627X{sHOGv#AF2UNL'([:땑a/~=㸮*@=鞖iש&/w*>5ӑ4,?HU8SIB4PK2G#((!3BG~#@hȑJqe&6yE )8r,|Q3;ZfUI1cty^h*^)88+ 2$*L(M ތY2Kԣ)3K B1F$&`#^TcƙG]E:KpQܜ7Mxud 0i.qͶ~:n]+Qտ註͎?PWu7k?qtpPGuYӏM1en9̩ohͬI * ;pA..QuyJNRg.i" YиSya<<7 W?=6g!ahXia_i´於߶u=<gTk*/U*Ъt[>\oz\UpǞ7 =;^(le4FU˻4Vgײ i=,i@F?1o{UJ 2` G񺍫E {L3Cl[QH}HьNXH{DGo]Ͳm'6ڑ|X}LvUfh+u|Þub3ƌʶf'm:)tIAlYv;hBcFwdXC܅̆LNF䋒2ƂGenRR BNF^;-f*U4Q>/u[/~&#k]uJgLmUzy 1uEW0UNw/RͲ5w>[]B32Jg|ouˋuhshqȜ⌊" =G?nÏt)yp1{7bzw^dtqA{ >`R۱ڝnT-̽}}3NȷI#OiI.kgEiQ`;wQ฾xXG]K\pc<\Bkq="ï>m-T{Z=vt =̹36G)5A&dx8so[59'33LyHc՗ػ ~LpIN?Fz _/=o/ o|8+:i=|zhiF׎P7v3q޼OO1ӼgE8~rT$'e?!߀6517114+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湹oMx։6x4qdzW pMzF7'#`wiH b9T''L+L1}â8^Ns1yw ߰r:=ߣw=z{/N*ؘD/@Uk Q(WeG&YС;R-nvwE/N T_?ӏy/ޙ~޽ZO Z>r FD]sP|gcQ;tu]q},**q@VS Lg5dNmd:Oo;#z[3co:a';4ΣD`2[6oKWk닙8#ONhx>uFVgE8u~}`tIlzŊK467127s>FqI)x̌{Sg}I¡/$87eۓ6hgq(2&`M I%2tM558$oZ;/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,Voch␖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ڣ]> 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Տk69ݥ!9Pē .rKzKbvn1iq^^M̅mw_[ )=LyH~FYW&c`Sp 6 DǏݓPLL ?\i"2ݍ 8SgS셷;y#c|_`nM>LVEZVE$M{ס?k~|B=Eں ȗAi,N;6~9[Ǣm08zl?4WaMGr,}"0U5Hjڂtd`JQR+Tja6nkB/38"]b6EA$hnFo.`AF_Lҭّ._ dbi 29`6(W َZsՏY =feVU3^ s"\h5^ۚz/3mr=/1CY7fu_E_#hPpK'C,|ꔃ6_%\ ^GgӳZP!GQo[6ܗY" ;E51l-B i?/-fX42n~c(")wLcҚߠ@]*Zfq.[닙줘hjzugN٪C_ٗhhJ2ͳo)HCq cI:0@H,B hs<8 C!c!bɐ}AV 0k{yq+XVoGc ƀm k :gE` ̀z0'{zI`~VA遬3baз_n0 MC QŢ+'c韺 J&6րmo%d2KX7L >$duDy.}L@3C6:BzRHՏ,Tw5Ƽp:ʘwK&D3sqKBc߲4:8GI.&O`-)E]L펁 'X\T&]F. }M' g TL폴2IVso7>p1zf2pM#bdõMxs|9ē_ID E; O- M}깑uzl>d,B}LA}9Fr5԰l= @0y,!dY=!7HKWHη(@K${Vg]LMLwcGPB hP[]7E%oo^`Hf%E ސWjtYY,"D}h(1[`DߘdH$13NQ|uCY~N5 t}Q]lnK.1_7<SIeR3'_$$GJ|.. 6n "nǿCy t  @ce~&Kz[Q'1gŖ5kaXFGѱ0 ~ĥ%! Qx+ML p#\& #ȭ" F{V6bkG+虪K90%i@yu 3TDgcn't-"ۄ%P|_0m"puGCKf oGؑت^ q< f +lĈHl&7H4eQZw+4W~思aZ:Ts`DV- f|]no [ր,9D&٣4αD#a<}4ag0iFfH!ś\yEGD2j[v,z'J11 ~kgx+=rh$ڐ,|L?Rk 6GnԍtE#ʜ:2D`> 񍶉cb3uz;~Uɵ9c|xP?gt 9vs@A™vLϖ3_7@(iD J z'p.h6U 6hp,U*; LJ&s-hc~8ul[ a]hÄƫi*V,Î1U3ͽft~fZB00?lj'LMKVgx 4x]?jmVQuk7k]P*TLfTtR_~)/QQx3)*.Us;c$J赫 S *5=lZ7ȩ[G+yzM6f)R 6ߎs J9 1(ЃCqKٿ HжԚXv=ScB^ȅ ?'5Q %!wNB빂#qXO