(/Xl+COMPACT_MANIFEST000644 001407 0 013472 0ustar00rootwheel{"name":"perl-Algorithm-SAT-Backtracking-single-528","origin:version":"0.13","comment":"Simple SAT solver written in p (v528)","maintainer":"Perl Automaton [perl@ironwolf.systems]","www":"https://github.com/mudler/at","abi":"Darwin:17:i386","arch":"d:32","prefix":"/raven","flatsize":47172,"licenselogic":"","desc":"A sure Perlps":{"gcc8-libs-standard":{gcc8:8.2.0"},Hash-Ordered:{0125.28-primary5.28.1_2"}},"categories":["],"optionPERL_526":"off",8n"}}+50742330,"file/lib/perl5/site_perl/SAT/.pm":"1$6fcfa2145830f446c54f864726c796a701ad456415df696aed1fb81e5aec5367",/DPLLfb2d8193f06ea087fb0f8e3e0d5745bfd20d6b51f5177481cba0b80822ea3200Probbaf9f8a230e5893066a87854df53498d8cb34a3beb859389680f79a4995e920da0f2745f26afc504db3cc9dae518e11296a8acb0a5d57e9c13942852fcabbf577ad895b9b880f4994706c188a971a175cd6ed13ba15fe3818137938d1b31ba1fExpression97ec33386a2002459cbcae05f450bf7a75f839cf2d04a221b887910840d19cadmach/5.28/auto.packlist652e1fab02a27c7d6f51b5d64064581c928296eb78f8e999fa97719d0d7ca80n/man3::SAT::3.gzc8240b2842dcca52141e25dd30e5b080d61e578c218cdb9202ce691dc6bb536::ee64d4a285db5b03ac57af7a79294bbcd144780689cdb361c83efc07a2ec431820cc46f7e4cd95649bf432c99185e75862bdc0242cf3af493183a0deba33a44fc501f88173e7465ca1d80e7d4e3929844492491b97bad8620ee68ff171d6c21646dc9a51f3371892d98d1354bb00d8d39339575f136ade2c0dab9ca226b9f051809745b008380c05f859cb63d6b07ed49631962cfe86a23c6cb03c2d9becd207pm17252 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.010>Choose avalue to test by looping overpossibleand che to see ihas been given ayetmy $choice =_(there are no morry0 !Recurse into two cases. Twe choseeed to be eithertrue ortheedolve(update(,, 1 ) )true||0;undeforeach( @{} )and lastex->} )}} # Copies, then sets `` = `ands it.copy$copy = (->{}lue;opyre# Rto its actual, orinedsubstr(0eq "-"my=1 ) };? := 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.iscai. Ohand, if nooidenticallyforun For exampl"aNOT b"beconefia =and b =,make () = TRUEcontrast,a" More: L . Have a also tests filan of usage. L<>u Bs.METHODS2() Hrowan B R0can'tolvedth,oormhasht how toin a painful way2() Us to rt present.{ => 1, red => 0 }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 ruleif aonly occurs vela,itueed$op=?:->{ ! (!print STDERR "is IMpure\n" and_upFinmusand(!? (_->[0]?1 ) ) # OR'addaddan->{ =)this, it from SINGLE ARRAYS inifand == 0;#avoid cyclalready set(se) 0deletindex _from_( ) 1= (:;11;stclistnex@{$c} <= scalar();>--)dospl,}--if $c->[] eqes}(overridcrandom620630'use Hash##,ohascosts()SUPER::, keeporder of keys; ->set(>get1 geto,ofwes a L<> as result/llowing:2 SOLVE 7707572; DPLLmy=> 0} ) )16233217use 5.008001requirCarp qw(croak) builder. Noteconnectoris `OR`;, wheninstanc`xor`, `and``s # you're generare `AND`ingn.s=> {},=> []=>" =$_[0];1;"}->( "The '' couldbe loadedAddprovor'gorensure(@_push(expr} }, [@_]xcausingarguxored.2xorfirst'or' por "Onem."my @\@_ )Then"". $i <= $#; $i++j = $i + 1; $jj [$[$i] ) j] )]);}andheir ownand$@_S. Lazy-load_[0], # Pa particularmarkben #do}!?1 ) : $_ }?: '-' .re for(exp))is {a specifichelpuildandakitorORxXTkeysirceathe ab0. Note: ifO i2() AchangeSAT used__ request,57 13431322341 027164 3.gz575433Yks7ί8/iİt\{J|3dZ[V&>G.otH::p: ,EOEh.#Lz4Yy oEDϝ^z9$hο4Dԣ$"rI'eY%r!#ZJQ$9`̟QFJyqWjq0rGt# )3+u땗$_:{\௯Y$|-D*L)KE\#EPʓ3?U\9DfCK?4#Ly4fTKP64J|^Yyqw?q&ۚ>FsCnPt v ]&zXAUWISsdp[MW**FBB a3ʑD] gTlG,qY4g7[ƈTjvc͵ĂhƞIǔ";(\x~$Px3|8GLSv=~\ڴR%&`k-bL|jUA$5"K;/YgPٌq*D*Ιͅ@"V4JX$*γ$ Q4JA<9F7"eIL!^dRcI_tNRJ5>a˞ xz<О>Zxk6BuݬE(D?`{1{MYSK^|k埚OZrtJ=nw]4J}w2EXt.lhXƜ~ouzMD)+'ro.ai8!FhDՀ~rRϋ%SY~ w[/?bynK-f/4]~j=sz;akԞn{jhYaiJVJۨ⼪.~.R~~@\uZelw=9i5\Ԕ8*G\iT}Ks}?V};5fj|Wmzbì4XZuɠUҘVWcT:=x;}{pLhܻk鄉>Prdꦵ(;N|`=Fu4O\64,nsB1"a pZ M/lTqe &3S &0N^`k . jϗ Q "M-(@?(PҰ8gGL4-(GM7ug?V̿s]UJkz" MY|QAμ*pFEv I[eix?zz31m4"NR*gO KR*O_Cp-8k1vD4rYƛyVw\Pt^{TvCâVn}`a$p_Oǣljh7v1UkSv'kP0} a1@/e}0G~$ěNq癬yPCB~RX\VRFՍ ݫ;]ofJn\bvKB8}lE;<&H!ܥAx+K71+=bZk4yh|p1:nGQ*t,=R7Nm]̠k(Bobjh^qA\?[yC|KR =5&38YT$lí|,jeŷ,2wt*k?(9S9W,K`{[Fҿ‰66"wvdy"}_@3'q]T%WbnpGRC]) X^jpAq`5)ik#@+ɕ.HY3od U˽g<)3MSHS0^Arv+|‹+9X;ÇtںQK?~ Ә2#>ivm\@JT`~ei1c썳 a纐<(ڪP5iY[ܾT3I묷38B}=k_>Fh[0(~HNz.qzMkA2u9rN\mV\'SHN;4Cvٽ}AO]GuTKuVo~wC{wbo^;\mam{;Tom+' ͧZ_7*KiN+~@ 5扇 AUOCi؟+ҞsefK]j }F7mR dЪW|Ywzt|YvMqen(̽huqIGpPrβHr΄|eyty:ylUZU"ڛ!_NP /6- g ĉdoU=٭gr~t ߼Y rF07"726266X{sHOGv#AF82UNLǛ([:땑a/~=㸮*@=鞖iש&/w*èO-@*Bd18 /f4 SdÔ\SHSlfI&lo,tY GЅTp/X1J𣮉"uJ]` Kw8iOglnΛ&<:m24dfۉmI@(_uxf+yg픺5N⟿M8k:EtHͣǦN2`UhfDNPss8~rySm|ĺFB%qn'g34 w\,h\D)0k2 hUOdϬ (snw6Vn nl0=%-y-iϷ=d٥Dh?ZK -ݖϻ?0|W6w8ص:mggMFON/W?J[Q.ٵhZio!g6qOn^ä Xnnj'f,{vM|07J)Ѽ; ޓcH#MsYͽ@F;ϚӮʌ-se9oسXqƘ^MDžn >.-n-_h,ߨ@ vkِiH_tw|QBFXpUwL͵`}BJJC[H~Q꽾~/NʄJMO7:Gź\ I9Wz|Y8msdNsqFEFGGã7GnT9]zurg@ᢅN'xnSSu{9V`Ɔ(Ű>Ȅ|1Y| wkSvf?yF)z,{Wo.H#kGQ We'R*篙2T .uv{oV8 K]L?h'iFkB1Jyp(fBW{D<%ȂX%[ S.!}ʍRY5r k,WW"7قS+eUqSO(-,_}%QϭL;,x#)n e|s4WfJ%0א? xp9] /oא'T1LbSHeF.Z@nǝJ)2:Dh.x<*7Jy,RbXvAEjAK1t2{ǕEȶ5գ;{q0D< Z7$8$\f?& x1N=-Uކ'5;P.,󴒾LyHؘP>wɯb &Ik,{-?NޏO/a^6MS+^܉ %+䫲H*q~j vםkn2Ei b~ʇ<=g?ۊkf:uc=11;ͻ\qVS' Ay"Zvk_6507104+e2ck Z땑d^.~=z lq]-U_ӯi7iQ R tiIEHMG- N %{i7KTP.J`ˁFCJҦR GRk!$9"4RIdü9d&17 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`8kZ74VlIS$DYd!Α\Wh΀Șś2Ҙq(Ȝ_M]{~|?ߧ9($: ^ =wxr~>QьtuFfgw{n܅c|7m³NķYƣ׏#' ГDӡ4S!q+KRod\a \qs:\"`5Yr 6ϸ n3j>i6KCb3χNϡ:9An>&`ZAf8Jvt<#w[X e< &|$pR'z0XO>@owB/+o=2ɚܑjq#~(z7- urL(~̻=*<}`T1:'ZЅ;k=_b٥늋;|dq硭 b!Qld} %eXG6^^xg WQ_`ZY]w5q)B[݇vp=պV1VʝZ`:!w2o+'xr5xY0ՋM"=@T|Ӂ;mpɤqE$QZOi>cCےt SVNo Z>IO.o 9w9.#xco&rt0~_ogrjwvEonw) $JFȂNaxtfzm~E:K)\{3%b#%|5OWBURvכ^6Ci$"å ତHT߹÷嶡%.~_B]]_PGyrBŭ3~?+:Ʃ v~ [H\f}K457117sbi`{̌3qөɁг$١/$87eۓ6igq(2.`MKI%2lM ވ^NZaHڳ m򗦙<> ۓ4M"ҦRJFt+i."+ްiܪ?w9O> A)#ׯʤ٬w[^,r۰ep7-׃,t.I)Zc |%fB!-9VJQ1vjy-ua̎XR<^pe))t7.*Axx v8ETKϔXhٗg*S|ʹi@M_!mVEJBtQ18F/4sbg\ lSDsYgL`"t EUD7B1E-$f-^v*b֩eZ"uJ=݇d b+\t+}yxk7M3n`]6F~ f!9dnяnoj#J:dvR"-؅MsKt\"˿99>2A}?z6ȩ z~2iTtb^[J$sŨ;nI7Q~*N~vV:Dj. DwĶZNm ~n-}-mϷ=7 gS3zke~ցNJ_o pK{8uz]cږ37VyQOX2gPm;O3 +!|VjW_ap-S- tb`5xE_q|+W T-3j9i6KSx(.rQ2d:,9w v>yF9_ Q'_p3NS`ؘD@UkDEлݣH◕VPBX ?Eڷ u r&P}Lxg⯇yJ! q S1d7ծ](O|nzHu]VP:4`lCp3e2#2@Ǯc?ނs}`nXW|_srع/c}̃<Ϸr_떒B;{*Ǫvjl*'ѻr|vl-<.>Jӹ0Vǣ io; N[[x3K^K 2&0y̼ÀAg~ol)yO&8&=gjbƴΕdF_Ҙ- 5cDрy*}꭭@wqH-壊ΡQ!JB"&^2[^OuDcLܭ_K.\)Sj__ ƞivS̹N>!*c.nF ǣӓm+(NelkԦ0L.Y~ϔ@n}"Jz0i1p3FFpqI)x̌{Sg}Iɛ2hv4ȳ8?Ah_NZ;/M2yBy()i }}vlO$!JJi"fKѭT}y 9ed + E ضu=eY/h%Oَ=hێ?8dQ=&hHXPk)eRQD`.'~XEjϚAE-1-y"]r Qkyyyqμ8moXf[Ơ](gpi H  A~Y(!R%eK BxŪYiw'F)uu.'GpӾQ7xu%4gF?Y@( _ut#ywJ b6͐.*q,| S[ftxuij%^"R(yGp:ˤ~s{S|Wĺ&Bei'繷H,Qw#4nT tk l?ȝ;=K}l:y{yv֖u=R*MP"t[.Cg\=}]uo܅{rֲ\)u|Vq{S2Oa=-{F4Ͱe}~c+n6ӠWaV% ?]w0ɠU&ҤVǴ¸]~:>x 6^d#@dhCŠg锕H4ﺷ UĦ";~N{ lbu:O뼵>[Ah\Xҡ60̎갃'd c&tcrFOVAɉlU)#1syRV\*86mA.FڠZU3*Qj=SS \;?So.}!i$gT"ؠuBs4l+9`8OŜQqܜёѵՏ;y`+ @!n~`ܛ`6/,[9ꌾs:ݟ0'R:{mʷiΗK^?gyvf 8-O6e[ؿ4縼2B9n:ݬ/ .zA72@a.&ZSWuGΖ{ <ۮ@ea?9Qc{Bvh@NE>u+ύ/.'ڙ{{vܧ\JO8竻e=5r 74e LTapoTt9-~Yy{ zQ(Z "VMngǿlGCm TO?y/ީaou %i,ˁljBz=[v?G"^ׯ>GMRVB(\rYBIk1l0A{_W7 \ ,+QM9o,ޱrߗ cAp[DQ([|V˖4~[~•)22ѵbNyN{X"$Bn@7" = !Zv2/-+86ŷ.#Bz;*v:;lC4tu`Ș%_ Sw-ݒg! z.0jjRJEE9KKJ2Sv!8uƐD-FJo2Ub 0t eh'>AH Q tN Cʉ>uPd N>BH2, \& o/2o.ZJU ,.@M¹q[XB"TP1: \rU9.ڷ-uuhuǞ\ ='Vy.=ﱤu-zUn=崍ğkhA/_v+j>*K7]voԮU{=(O琇Ϗo!/ s4}DXQXjtO\m}Ųk|q1[XE1w2㹒6>a`nn-71f0v O͖(c/4V`?@ZMV5,d3h9-pA%+b nJ^7 -xQJ!N-%P?W(gU8QM3~UJz0'{Z׍R1Rc=h8]˖Uz1$ w?NUk8P ='Q/.iD$gD" آUBsD,ަ¼l1짭`Y.Ψ(ڣǍunx_D 7`pר4efgv{n;̼L|Z#&;M,+O#'P{M7t(˓@jd0_M]_nb\U {neZLˌt 뻬@`D?Y. Ex%Tp[:׻l^ sOj2Og.ljO9\ygjC"3Rͺ2)_>Uop :~r]`r`UlaR=tH#nV?x:3Ub/  pkaB,jJ*'%nkq_)օODDJcp ˁj>mիf 5l:OnWeeg^ҏSrϟߩs@XHN& _E- ?ETId K"]$rb!M}g7Ww*9Rv_bh1iijٸQ%{!.Ebu@plxy/뻕*IWʹ?+$b@O6F"U#[Sꔺ^V qXz!) o%As+7zs*4j%bn͎vi:^ cԅ[L(tOeDLx ԰v~j_@6+U$O0BKe{ayLoyQ6o/A„s^:rd{VlTB-Zj<:ւ 9~)Loli.)fkJeIyi1򤉐G H=wD?װ$H9ոetzW5s]_Pf'ŜxvFWӫ;sb}VϾDSDWi# c@08D*RI'c@9 a 1C HL+h־{mCZ_:Ǿ#𩛦;ջ+&VVl\BƬM3ccITobW@a9^.kx0B٤2evOwO6@F` 3/9 }Ap-O`tI4uzӾ ]O.C u=8c;%U$Qtpy#KͲ&%,kз6~G>O ~@D녋X!H=Q 7g}T2|Ҏ'2 eRQr}2ٿl@#ˣ "NJxo&Z(+#&A|QCRh1V%+ǵ~s3&~@R3]Eݽݟ6[{" iY%™B$d G8cy̳Нp% Lcx3Q(%[-!'&Fǰ$P#"R^4 R<׏"AfQ:\G-ruتTG,3J.;̈́ 7YEr=v]FW|,%i$_=;[2m9ijN;,{+o:E#t=T‡~NʢqWF}b-1ʙ-S.t??o%Jt"exh~Vzb-C'hr#BPP?gu4boOC-ŰtIsð3)+rʁg=~yɣ(n<(@wX[GxDaKQ6;Aڷ]|IcI2<(, Α0Z1 cg׊7V"|_)(-g t !o׏%&V^<4I7/i kd1xMɺEX??>;)>G4M n@"?~|gnZ^h́i*e,4] Ӄ5x1q ݬ [QDZ2D"zfΊ͋*Q:qviV$^hRc}Ăr/]LW֗.In63(CHkMnpERb$,.m'<;䝺xV\Ʃ#BfYDU'h14˻Q(6=9o܌|rS$2'͏Tum?nu JԺ+} 0Ƙ{z`JfykcbtdTvfc9Vh+׸C>`/: 92#I'J--23gj)zwLؖ7> )Ÿ+ J|pN1s,V0X>dp䮈݊y]VeۦчE56Ruvn#6AɇL%)9Pj_G݀͵!?p)q~պ+[Cl\21볲6z[ӚZ!9i`L* R㴱S̚8(2(y`ӂ2&;r۹l!& D64+(P݋!&&h"T6xmrbwF~d~_>oE(Ai@S5L FK + j.b4u+tT磒818n\ǣ1