(/X+COMPACT_MANIFEST000644 001274 0 013474 0ustar00rootwheel{"name":"perl-Algorithm-SAT-Backtracking-single-536","origin:version":"0.13","comment":"Simple SAT solver (5.36)","maintainer":"Perl Automaton [perl@ironwolf.systems]","www":"https://github.com/mudler/at","abi":"Linux:2.6.32:amd64","arch":"lx86:prefix":"/raven","flatsize":47178,"licenselogic":"","desc":"A swritten in pure Perlps":{Hash-Ordered:{014"},5.36-primary-standard5.36:5.36.1"}},"categories":["],"optionPERL_"on",8ff"}}+47612332,"file/lib/perl5/site_perl/SAT/.pm":"1$6fcfa2145830f446c54f864726c796a701ad456415df696aed1fb81e5aec5367",/DPLLfb2d8193f06ea087fb0f8e3e0d5745bfd20d6b51f5177481cba0b80822ea3200Probbaf9f8a230e5893066a87854df53498d8cb34a3beb859389680f79a4995e920da0f2745f26afc504db3cc9dae518e11296a8acb0a5d57e9c13942852fcabbf577ad895b9b880f4994706c188a971a175cd6ed13ba15fe3818137938d1b31ba1fExpression97ec33386a2002459cbcae05f450bf7a75f839cf2d04a221b887910840d19cadmach/5.36/auto.packlist652e1fab02a27c7d6f51b5d64064581c928296eb78f8e999fa97719d0d7ca80n/man3::SAT::3.gzed2fe44d06650c2a487d5348eb5620c3c5665426aba83c7fe760095ae8fb8d9::fa4f7695f95a91b95e590361a76be0a1e78296d4d79cf940cf565060e4c6fe844adc7d6c76dd711a645c09c8f4d6b9f163e57a7a4a88ad996813a005fe393473b9bdec846ae5d3ba1ce89d18e88d21362f8d9cf36603b5a0f7dcf11cf595630ae76aa1796379ec6b2fbae467babe555447efae2b274c519b51f3de3551e4d96ff2cd6f1823346d4275a6b86cc1949cd60dad485c6a460dde9cf2cef0cbfac717252 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 notwork.0010>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( @{} )nd 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<>uBs.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.netEEE 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" and0_upFinmusand(!? (_->[0]?1 )) # OR'add:add =), it from SINGLE ARRAYS inifand == 0;#avoid cyclalready set(se) 0deletindex_from_(=?:;11;stclistnex@{$c} <= scalar();>--)dospl,}--if $c->[] eqes}(overridcrandom620630'Hash##,ohascosts()SUPER::, keeporder of keysset(>getgeto,ofwes a L<> as result/llowing:2 SOLVE 7707572my=>} ) )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.2xfirstor' por "Onem."my @\@_hen"" $i <= $#; $i++j = $i + 1; $jj [$[$i] ) j]]andheir ownand$_S Lazy-load_[0], # Pa particularmarkben}!?1 ) : $_ }?: '-' .re for)is {a specifichelpuildandakitorORxXTkeyirceathe ab0. Note: ifthe2() AchangeSAT us__ request,457 14470356565 027206 33.gz6005441Yks7ί8/iİt\{2f&=Iɺ`lvM%}]ߒ3ttWuϳ8?Ad*2xI7m;mj@Җժ9niGI*E8@oG?5Ǔ4J(?TJ*I\F4Q#\Ir?V"^G0f\ȍVcR&?g5g5'W~+/Ity\__6$8IH!TL2RHG.֕'~],rN~hT3Vh >FsCz]&GuFcUt7 jjS#mT ]_W 5B* QD$Z8b>bD M8[=2FPn ܉O,( tL)GuH2 '?8#p4e3gIMs)p/U>VrbRF؂\!/Iħ&QDB Szq~vMiBd/ٜ )b%ITEҨaOgVkoj/YHCVـsnձ5Pvw||;jϿ)RdsiS֋oSY+TL缤nCwWFޠ[KEY Ә[-2NH3ei$9b'(UN y񁜝p*ˏN{F!AlN;Ϳ FF熖VDh*]]|/G^fY]/v6{سVEMA^5̝F˻wz^wi5lPlƗnl~E?ݦ *6J5=e Z!iux?zz31m4"NR*O bVeqUBÇ.F* phbDK Ehd׳=NtG_s<_㜇r=ATݴe3f`{z( .;L)>v"_&|uW WO;xMȃ =|j 'Ń(En.&BI˶ i3NOfs,Rlgjݭuw,|ַY"Oe3؉vfbgtrs[u,O8F2U֑w`|zV<,v*eUY*eTXٽ:OmF-WUr@s}ʅ*} t"yBǔrKN4nbWzJ0?ibx~9<;]OMkO5T Y{nڴA Ha$Ĝ &ė9?*6ƹWS~4x!5yPr.>iJ\B) p+fet8:^ʏZ BZ+L,JHIz济g&~Cr1UQ6)w¨b@8)fTSOؽQ^_o3@Ԋc =G" 4YI & '2ް*ЛoG.9Hj1dt>N<AVkҬ0$tEʨecYQlA%EVgΗEڭP=\˽)|~A(_!j^ͣȺIZ?=3:c \L焣HԷ!}c2IE6ʇ͢}&Z|"sxG.Z?#u-л8z=ϲD 67e,?/8mjzj-aGF'¼ >z"|7@E9Pr%fwDj/ED3W_>뻣˓;]js4:To:T8*_8n9[{9хVү[122+qq\tj?& LPk[~Fʋ̓2:4E~m)nǽfΧ)ȼBəNUs?~JwqզֵZzuFud1eF 8|ڸ'HYbg6l5u!yQԵUj4%Ҳ}f- LYosgrqP!{׾,%!|$`JQ"߷ܝm\㖧 V|=4eāYsWڬ+N`Ih"{kǟO|.8ld#w*Dvh;*nF7vǩL3(o%]+' ͧZ_7*KiN+~D55扇 AUOCi'؟k֞smfK]j }FmR dЪW|Qwztt^vMqin(̽huqqGpPrNHr΄|eyty:ytYZU"ڛ!_Nߣ^3Z'l>z;*;}5`gX,7"2631X{sHOG6 #l$v`LSf+V4ze$A߯G8 P{euIĝ [\RD:4Y(tz"}ڧǮyfʹq"G("%?dO/CHGRiU)TRc$ME`$ƒ3JȌ#2 u=a^o h)oI͜%4f3|%oVI$4p!y_W#7$4(}JL(Q"=ALpʑ37D<6vViVsw)Li0go\K-F 5bz^YY9aʴ_0--﷑;_$[B QNa`g "sܘP6]sJRY$B|7Pt`1_ Bf-)ǫ^%չr ^#."6BCqKmZK^m+2ɟw츃.RH"5FS0_@8"7o ;hGiYx sCvS8?$^tSvfJv*;!MzU`Ș(5Sz=nH^ut| 2BD^QN㩈$ňk1sqg'f*iQ7b qRQCn W6Oj3L:#EFwZ(2>BG~#@hȑJqe&6yE )8r,|Q3;ZfUI1cty^h*^)88+ 2$*L(M ތY2Kԣ)3K B1F$&`#^TcƙG]E:KpQܜ7Mxud 0i.qͶI@(_utfvF'i_&l5"\:TQ~xcSLdtxviv2s4n3k"gR(ys8~rySm|ĺFB%qn'g34 w\,h\D)0k2 hUOdϬ (sn6Vn i7m6֞ܒbK^gKڳ-a2Yqv)֨R*~ϻ?1|W6w>?ܵ:m'MFON/W?H[Q6ٵ{hZi{AXmM=0o{UJ 2` G񺍫E {H3CkH6ov-( G>$hFK',$nxG#7ݮf6HNF,>kN*3r̕u|Þub3ƌʶf'm:)tIAlYv;hBcFwdXC܅̆LNF䋒2ƂGenRR BNF^;-f*U4Q>/u[&#ֺꔒ6kAY۞-0Zcz)늮%a^ek4?Kŷj\k=;z bl)O8#G)7Keȹ2.\]f N[>WM=|?wߕ\D">2Ano^&3ܕ%$ֱ+$ _)6^C2+ 'jxnlmy?Ӵ>}hiF׎P7v3q޼OO1ռ՟gE8~qT$Ge?652713줼$v-v*'*{+#Ʉ|聰uT~MfZݤaFH=G2Jҥٚ&;!>48ؗg/MSB+)/}}+iD~JJI,IRH)K$ 攒dPP43F.nak0)>6p$ɪ$3=,4!{C’(]KJEa- W{!| Id?ou|_Zx7Ĕ3xZdaXDqN/F~ɢTvz_n+oL(sF; s(F"RD]KiIwzZRJ#%iqf{#yl@DkNڀNrVʺ-w=gs [^nmi{Yl_Jvcwke~ԁNFߪlrw*{~k8Ǟ gJo f]<u+oX]*sѹ\4͠m|cn%~ô X^j'v<vfl;Phg. h1mũ-'R~xvߣpdLv\$J HT(EiA)u Y)+9l0bIqܜёѵGW5"RDW\\n2O'*^{p,O7/̽}³NķYƣ׏#' ГDӡ4S!q3KRod\a+\qs:\"`5Yr 6ϸ n3j=i6KCb3χNϡ:9An>&`ZAf8Jvۻt<#w[X e< &|Ŵ$pR'z0XO>@owB/+o=2ɚWܑjq#~(oZșP@3w❉{U(yP/4é,btN5? wzl];<źKWwC[p#OŨCئJʰXKmz >96˟j.RSN:w r췻^!{NuKIӭb'd;t6^CFdVOj|nl-%9 &"8p7_7mҞIDKYI$sKmCK\nqL3䄆Ӌ[gd~VtSA  HdK467143s>FqI)x̌{Sg}I¡/$7eۓ6hgq(2&`M I%2tM558$ovl_d"(QR@5؞IBy-6D$5o2[I3Y$sN_41cZe ?TSR&f;<;v4WTLF{!aIBi®PbIEQ-RB8VbfʏMhv:tWĔGSDF tf˱&4DqNP 9~Lz&VbmQw ȟ.("3d.)g,{vK-XI9wS] ?`BСEk~iT<(Ζc3%յpgK|d_;He i讬,wiurNoxu.k(!r6"@ H|ޚnԴώ@MVyLN⺏;4*q8L z!ubȚ*; F/)Cz`CRe2Jg""e1^ov U҂necꭆm7BGk։/O*9W&BwHy㢢m4Ja'`,#XILyY}ujR 28a0ͧV(20NZfjZT$;Kǟ9'ŜfqRuKmx&Ӕ]Ң@Yn9c0`Nb qe"fZe?)R}H*V%NGGVkec`ҘCff Qol)68.򟿊]k6CtH/KY+Lm1cýno{H&opZ9BAX)j E07bvqov٤߿P0ꌞHL^y:WZ_)tb9_/y$!:ϙyF9_ Q)k0lL}נ*5{Gq$oʛO+FuBs_<َ9 ~xχyJ! q S1d+l.z>7`$ƺYz(rWB~/ rYw{ꈵ бďn\a@}nje?\楦> AvA!׺^ 䱪Zbڛkih2|?_n,[ Okm t&.բhAnKL7R& Lx"3o0 3AEʣCdh;q|C"{\+ji#)?̍1a[`AFskƈW[T,~C[[n~#Fo8ZbIGΡQ!RB"&^2[^\H=W%\\L S&I8!ƞIvS̹N>!*c&nF ѻh 9y(̽@*+S%["%=n E~Z ,܌=$߼Q:Tr $%XF?_3TU ~cÈ 55300028ɛ2hv4Ah_l瀚aHڷ[;/M2yBy()i }}vlO$!JJi"fh%i&"+l7sG7k5%D zs~d;NqU&XҥSE:.~_OZajٌ9u{{C4A}7|2ȩ z~'2iT[tb^[H$sŨ;nI7Q~*N~rV:5هDkΝ  >zm6tArzf;akKߋ-}-mO=5 gS3o֪P:>W{_prݛ>wvw?;scOZ37VyQX28X:;^Sq"U@]ʷiΗK^?gyvf 8-O6e[ؿ4縼2B9Vbn֗Y fji0)Č+#gH_mW0za柜Q=p;4 T"QlIF7dLϽ[Xܽ{;S.'{]_m9r_&z 0\7*:zGr_Vk^U;ۙ/=P Buw*zwxBɣz9!nZ"r V6[? Ck=-;XI# J#&u)B(\rYBIk1l0A{_W7 \ ,+QM9o,ޱXw)WWx֓vq2~; m7hn"R$s;K%]|WĪ"3,BqA ӸS <<o< uP&۵/' ajYye~fZA{Gw;z;Ҟ{eMP"F:kԁOzq׾pngGV>m)?2țuy%Ǩkyw۷rӯ<,mt tXF Ƨv[_WaV95^b~tvރǤA=~:DZ?yP"&۞ysЂ?7J^Q))CR % ˵avV%ID9WUT[Ͼ#u(/%:aDñw-[VaGk4s]K6:d*8iW@%F HVGQ*,bV1R x7 jŰ3gE 8"ȣj7;yC%D7G\Ҕ {› zw{aeyi|&ikx맑=榛y_:IH\~sq5e2j&ݮ/71j=L2U@Q-&P WeF:P]v]V n0Xa^PrxvB"C<O*\-]6/sڹMyy53j~m5.O35!f]Z lM/t?⋂*78?BkwOB.w090Q*60s:Dpcw7G^+ڟdwk L*Nh Xs}b50Y!j%[œ75_ YQXk'p"_"t8]@l5tU_Vrz6]'7ݲHpQ/qK)߁g9Itqz,$Pq'ƅЯӢ薄fe2ĥS .a>볛;sNi/14ٴzK@Mlܨy": 8t6<Xe$Âx+\]Qz|PVlçz#i ґ)EuJ]Puٸ \t ˷|G~1KHfGn~/1B-bI2l\O&Jjؿ[g;j U?f/`PPYU|تzs'\Yp`\xmk꽰<&TǨOeM}}UAa¹z/9=S6|p-x5]NvkAEFos_&ڿ7KxfH64tH ayD#Wix]쟊kXj2Ik:|uhӚǹHn/ff(bN<;՝9>f}g_)+4ƿ/'qCz S 3##""&#08D*1?'s<8 a !D1C!T'";fGUˁ()p@?8`)tqu7z-'NmzPO*I+?n ؼp6x:/x) |L#R}2q!PXP0ZuC-WzX`A;Jj fa@N0r0e7)Ϻl] Mp+3ckM&D+kh]@2)@)dPa%^A`BfqKE𫂀QlAKE0ZlȶMXߘg3k?x١9mn[0zV!ȣF7,Wz#XҵBm@>fI!i/@Q^lb>|-)(|:t)=(oCܡ*#whr6%µmn?3V5ǰ 2:ӯIL122I8%}o@yUUA/Y4J` pCqͦ]T58C +mi9qsQ=֚Ock+yDLËяڳ>~ eA&ᧈNG*XHE3Vj}OԹb@8 ?&j!vV>ܞ:ӴWhjքQh{&Jh"7LgAfZeex-7D$Ce,P=A)/]Az4U|V6IAj&%^ɗكCG:{'H*sBS|2;-QFQ 'Wtcʅ̑-=8|q1VtOE?H]n@+IyYĴߝ!f 9G=Ȯ%Š|}b#].MtUlJG5V¢l $1U/((PY Lٽ"W7[%_;̔MxH:0߬4#e'W(4]ɦt+9_&`@rQd!VZc-;_KTMo Õ9Ǻt;{?mW!I<K'/{nfs'ic3-&Yw˔@1 'XHĬ )Re5l2f vIQ>3CJmLͧgOkޕHܰ>āh(![ĚU2~e0H'スԝ4~wd(zHp[s0qM\P6V{3,I^CS ^C6,bܿ}t{^N miVFD^=C]ō6Qy‘f ľ. Dj<ΞA_㗃u"O'n :Q`oV9\EssmGW*Js`Nl=17k) 2ې%2iv|ȫ$"jǿ<4=w^#}LMѸLd`r/Qd!{be\4k&g+e -Jo⊥f/NK_@v1JLح"DQ2 c8i5SPI sI:r6Kvovgr ֶ,`[>h,y:$zA%l6qPH6` 뎉.Vn@X@7<*?}RJ8ÇaV^'h7$LpNhlCbU2mx1s7N<@nS ѐcq#:Ԙ U)AzcolբC= [\kVe'wO7٪k[pI'A ֧Ze׫TѺ='C];Wqnc 3+:I)>Ќb@ޑ\;1JxG[tqLs4ʏ^PHUf >2s+dQ ylZ 9rųĤl;`B"n@|J*>g\_z ;O.{ ߑk@`Uy&ulk%T䯲"nZ4X-NL|H\ʗ@iwsPI&p~Lco