DIRCb SPb SPH8lgrGYh>Y0  README.mdb SPb SPHD/DiCBuX \* decreasoner/COPYRIGHTb SPb SPH.S:]-oG~񔙀V>mdecreasoner/LICENSEb SPb SPH)eV".tI7decreasoner/READMEb ͛b ͛H~p;]P‰B.yaR6decreasoner/decreasonerb ͛b ͛HdAj3 ΄Gwdecreasoner/decreasoner.cb ͛b ͛H X7/W DNpdecreasoner/decreasoner.pyb ͛b ͛Hk _P7-Ư@*6&decreasoner/decreasoner.pycb ͛b ͛HPKt~1decreasoner/examples/AkmanEtAl2004/ZooTest5.2.txtb ͛b ͛HeM'cg+ѮBG*2-decreasoner/examples/AkmanEtAl2004/ZooTest6.eb ͛b ͛H?tvo!jY+ -/decreasoner/examples/AkmanEtAl2004/ZooTest6.txtb ͛b ͛H/uҠ0ƨ_? &-decreasoner/examples/AkmanEtAl2004/ZooWorld.eb ͛b ͛HQ 4܋w7I)+decreasoner/examples/Antoniou1997/Dropout.eb ͛b ͛H6SyRWUVUm-decreasoner/examples/Antoniou1997/Dropout.txtb ͛b ͛H<ùٮҙEJE+decreasoner/examples/Antoniou1997/Student.eb ͛b ͛HFT Y -decreasoner/examples/Antoniou1997/Student.txtb ͛b ͛IH~NxEM1decreasoner/examples/BrewkaDixKonolige1997/Wine.eb ͛b ͛Iҿy@m"Hv3decreasoner/examples/BrewkaDixKonolige1997/Wine.txtb ͛b ͛Iy&m-Ԍ/decreasoner/examples/Cassimatis2002/OneScreen.eb ͛b ͛Iףp(u<ڔK1decreasoner/examples/Cassimatis2002/OneScreen.txtb ͛b ͛I!*/decreasoner/examples/Cassimatis2002/PolySpace.eb ͛b ͛I*fB0V2{Z懘390decreasoner/examples/Cassimatis2002/TwoScreens.eb ͛b ͛I3u{͛4o!vWt2decreasoner/examples/Cassimatis2002/TwoScreens.txtb ͛b ͛I +ij6!J20i.decreasoner/examples/FrankEtAl2003/FrankEtAl.eb ͛b ͛I j|(PØSF0+decreasoner/examples/FrankEtAl2003/Story1.eb ͛b ͛I j*p68/k-decreasoner/examples/FrankEtAl2003/Story1.txtb ͛b ͛I '=3ێƺ%rճS8decreasoner/examples/GiunchigliaEtAl2004/MonkeyBananas.eb ͛b ͛IhD3oV9decreasoner/examples/GiunchigliaEtAl2004/MonkeyPlanning.eb ͛b ͛I[(8my'ƀ@OD;decreasoner/examples/GiunchigliaEtAl2004/MonkeyPlanning.txtb ͛b ͛I(};j)LYGdecreasoner/examples/GiunchigliaEtAl2004/MonkeyPostdiction.txtb ͛b ͛Ice'W/Ɔ?& ;decreasoner/examples/GiunchigliaEtAl2004/MonkeyPrediction.eb  db  dI IZȋx4.Am!J0=decreasoner/examples/GiunchigliaEtAl2004/MonkeyPrediction.txtb  db  dI"|wie*\&decreasoner/examples/Manual/Example1.eb  db  dI Ì 90~S9m N(decreasoner/examples/Manual/Example1.txtb  db  dIa*nNgbLMnvG'decreasoner/examples/Manual/Example1a.eb  db  dIg EZ.3=R8|@)decreasoner/examples/Manual/Example1a.txtb  db  dIU` 1ۄ.ѭ1&decreasoner/examples/Manual/Example2.eb  db  dIf@2N$/5(6žW@<(decreasoner/examples/Manual/Example2.txtb  db  dI]0@z3N &decreasoner/examples/Manual/Example3.eb  db  dIl[^ [㢼g+C=(decreasoner/examples/Manual/Example3.txtb  db  dI_N}bu h&decreasoner/examples/Manual/Example4.eb  db  dIe2Lz -t[ҒXN(decreasoner/examples/Manual/Example4.txtb  db  dI!6zP hؒ$a6.decreasoner/examples/MillerShanahan2002/Bowl.eb  db  dI" (0dAϣěP0decreasoner/examples/MillerShanahan2002/Bowl.txtb  db  dI$[ݡB}CNYjM+decreasoner/examples/Mueller2004a/Holding.eb  db  dI%:\`_κo-decreasoner/examples/Mueller2004a/Holding.txtb  db  dI&nLbENž7v(decreasoner/examples/Mueller2004a/Leaf.eb  db  dI' E95.:QskN*decreasoner/examples/Mueller2004a/Leaf.txtb  db  dI)+2.LBrՐ+decreasoner/examples/Mueller2004b/Approve.eb  db  dI*W^;M-decreasoner/examples/Mueller2004b/Approve.txtb  db  dI+>FLEgE(decreasoner/examples/Mueller2004b/Leaf.eb  db  dI, {'I@>%$,*decreasoner/examples/Mueller2004b/Leaf.txtb  db  dI-3öJHR:)decreasoner/examples/Mueller2004b/OffOn.eb  db  dI.H\(w<K˞ +decreasoner/examples/Mueller2004b/OffOn.txtb  db  dI/ *2x9?%=2)9*decreasoner/examples/Mueller2004b/PickUp.eb  db  dI0'WOUX[bjilk,decreasoner/examples/Mueller2004b/PickUp.txtb  db  dI1 ykaEsVyEeg1decreasoner/examples/Mueller2004b/RouletteWheel.eb  db  dI2FVy2"&u 3decreasoner/examples/Mueller2004b/RouletteWheel.txtb  db  dI339t8ItS3n˔6decreasoner/examples/Mueller2004b/RunningAndDriving1.eb  db  dI4P>&({l+8decreasoner/examples/Mueller2004b/RunningAndDriving1.txtb  db  dI5_#w#^B> >8;6decreasoner/examples/Mueller2004b/RunningAndDriving2.eb  db  dI6N6sV;9w8decreasoner/examples/Mueller2004b/RunningAndDriving2.txtb  db  dI7D+whŏK c 'decreasoner/examples/Mueller2004b/TV1.eb  db  dI8 y#LҠ8R6)decreasoner/examples/Mueller2004b/TV1.txtb  db  dI9P.lѲdx'decreasoner/examples/Mueller2004b/TV2.eb  db  dI:nȏ׵#;R0A)decreasoner/examples/Mueller2004b/TV2.txtb  db  dI=`QUGZm$3e/k}b( Bdecreasoner/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.eb  db  dI>+6b1RFDdecreasoner/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.txtb  db  dI? fO0d9ړEV6decreasoner/examples/Mueller2006/Chapter10/OneScreen.eb  db  dI@ o2F6O^œAޙO#8decreasoner/examples/Mueller2006/Chapter10/OneScreen.txtb  db  dIA P \KW] ԏl 7decreasoner/examples/Mueller2006/Chapter10/TwoScreens.eb  db  dIBEkC@ bBi<حWiA9decreasoner/examples/Mueller2006/Chapter10/TwoScreens.txtb  db  dIDvu`îpLH6decreasoner/examples/Mueller2006/Chapter11/HungryCat.eb  db  dIEh?ÁC)tI F16I8decreasoner/examples/Mueller2006/Chapter11/HungryCat.txtb  db  dIF(TdJܢ~P4decreasoner/examples/Mueller2006/Chapter11/Lottery.eb  db  dIG5I /o.G:k>N6decreasoner/examples/Mueller2006/Chapter11/Lottery.txtb  db  dII#=Ӄeϟ ]L9decreasoner/examples/Mueller2006/Chapter12/BrokenDevice.eb  db  dIJfML&RE[K;decreasoner/examples/Mueller2006/Chapter12/BrokenDevice.txtb  db  dIKM8;+񰆹>9decreasoner/examples/Mueller2006/Chapter12/DefaultEvent.eb  db  dIL s*VT"Q_;decreasoner/examples/Mueller2006/Chapter12/DefaultEvent.txtb  db  dIM}/=(zBdecreasoner/examples/Mueller2006/Chapter12/DefaultLocation.txtb  db  dIO:KN%f93decreasoner/examples/Mueller2006/Chapter12/Device.eb  db  dIP,I}]9|4 ‡ln 5decreasoner/examples/Mueller2006/Chapter14/NetBill1.eb  db  dIdv&0Ƣ<&*7decreasoner/examples/Mueller2006/Chapter14/NetBill1.txtb  db  dIeYA.D3hl(_iG$Tv 5decreasoner/examples/Mueller2006/Chapter14/NetBill2.eb  db  dIfc5sjiM J3  Q[7decreasoner/examples/Mueller2006/Chapter14/NetBill2.txtb  db  dIg\]>d /*I85decreasoner/examples/Mueller2006/Chapter14/NetBill3.eb  db  dIh59cXZ dwj7decreasoner/examples/Mueller2006/Chapter14/NetBill3.txtb  db  dIi ?[;V0cz9,YNQ3decreasoner/examples/Mueller2006/Chapter14/Vision.eb  db  dIjx^h<ĴJnw5decreasoner/examples/Mueller2006/Chapter14/Vision.txtb  db  dIke6c˰K7*c5decreasoner/examples/Mueller2006/Chapter14/Workflow.eb  db  dIldhF6?7x`d*{7decreasoner/examples/Mueller2006/Chapter14/Workflow.txtb  db  dIn+~@؊mW=k;s8<:decreasoner/examples/Mueller2006/Chapter2/Inconsistency1.eb  db  dIo\y~OLE_;dTIvH:decreasoner/examples/Mueller2006/Chapter2/Inconsistency4.eb  db  dIuSMx{<Ą ~tdecreasoner/examples/Mueller2006/Chapter6/ThielscherCircuit1.eb  db  dI KVv$@decreasoner/examples/Mueller2006/Chapter6/ThielscherCircuit1.txtb  db  dI+y_o4ø>decreasoner/examples/Mueller2006/Chapter6/ThielscherCircuit2.eb  db  dI _ X?/ݫZÎzx@decreasoner/examples/Mueller2006/Chapter6/ThielscherCircuit2.txtb  db  dI~?bKdecreasoner/examples/Mueller2006/Chapter7/FallingObjectWithAntiTrajectory.eb  db  dI =X$gs?5OIMdecreasoner/examples/Mueller2006/Chapter7/FallingObjectWithAntiTrajectory.txtb  db  dIuBXH7ºncCdecreasoner/examples/Mueller2006/Chapter7/FallingObjectWithEvents.eb  db  dI @ByIǸ?l(ZEdecreasoner/examples/Mueller2006/Chapter7/FallingObjectWithEvents.txtb  db  dIT-AȄ~1U'%!aәbk9decreasoner/examples/Mueller2006/Chapter7/HotAirBalloon.eb  db  dIgW)y(>5$f;decreasoner/examples/Mueller2006/Chapter7/HotAirBalloon.txtb  db  dI8I p:_gQ8;decreasoner/examples/Mueller2006/Chapter8/CameraWithFlash.eb  db  dIm3R% ]ˮ=decreasoner/examples/Mueller2006/Chapter8/CameraWithFlash.txtb  db  dI Z,4 h`Y57decreasoner/examples/Mueller2006/Chapter8/MovingRobot.eb  db  dI-.1(4`F~Vy&vQ89decreasoner/examples/Mueller2006/Chapter8/MovingRobot.txtb  db  dIT*[h-l b7B=decreasoner/examples/Mueller2006/Chapter8/PatHeadRubStomach.eb  db  dIdQG x8t?decreasoner/examples/Mueller2006/Chapter8/PatHeadRubStomach.txtb  db  dIhkosOm}‡9decreasoner/examples/Mueller2006/Chapter9/RouletteWheel.eb  db  dI#mdnN223;decreasoner/examples/Mueller2006/Chapter9/RouletteWheel.txtb  db  dIFF %8cg^W ;=decreasoner/examples/Mueller2006/Chapter9/RunningAndDriving.eb  db  dIׄav"bM+?decreasoner/examples/Mueller2006/Chapter9/RunningAndDriving.txtb  db  dI bԶ90KړWoB3v4decreasoner/examples/Mueller2006/Exercises/Counter.eb  db  dI8!7Ķ99#6decreasoner/examples/Mueller2006/Exercises/Counter.txtb  db  dI MS7H268K7m9decreasoner/examples/Mueller2006/Exercises/MixingPaints.eb  db  dI vs_DX0`xMx;decreasoner/examples/Mueller2006/Exercises/MixingPaints.txtb  db  dI 5Z~",Ä=h8decreasoner/examples/Mueller2006/Exercises/SnoozeAlarm.eb  db  dIe|)QFCt郎:decreasoner/examples/Mueller2006/Exercises/SnoozeAlarm.txtb  db  dIOӐ}%gN\f69decreasoner/examples/Mueller2006/Exercises/TeacherTells.eb  db  dI fX=Rѹ:v6;decreasoner/examples/Mueller2006/Exercises/TeacherTells.txtb  db  dIbIŎ@3QuC'':decreasoner/examples/Mueller2006/Exercises/TelephoneBugs.eb  db  dI&6X՟$@.decreasoner/examples/Shanahan1997/StuffyRoom.eb Gb GI-[`p+UX0decreasoner/examples/Shanahan1997/StuffyRoom.txtb Gb GI *1R'rD׶/decreasoner/examples/Shanahan1997/Supermarket.eb Gb GI I%_*Ѕ$(N1decreasoner/examples/Shanahan1997/Supermarket.txtb Gb GI^Ktsp0to$16fua(decreasoner/examples/Shanahan1997/Yale.eb Gb GIj2ȻGb%. Rh*decreasoner/examples/Shanahan1997/Yale.txtb Gb GIW'^ pjYca.decreasoner/examples/Shanahan1999/ChessBoard.eb Gb GIu579ZHeĆ&R0decreasoner/examples/Shanahan1999/ChessBoard.txtb Gb GIqW7:SΚc~wU,decreasoner/examples/Shanahan1999/CoinToss.eb Gb GI%'ۚQyhT.decreasoner/examples/Shanahan1999/CoinToss.txtb Gb GIš8R^f+AE)decreasoner/examples/Shanahan1999/Happy.eb Gb GIN ]jG4,+decreasoner/examples/Shanahan1999/Happy.txtb Gb GI^z`~~5,1decreasoner/examples/Shanahan1999/RussianTurkey.eb Gb GIsFQ3yMl+K*s3decreasoner/examples/Shanahan1999/RussianTurkey.txtb Gb GI1=ˑxWZ(3\5decreasoner/examples/Shanahan1999/ThielscherCircuit.eb Gb GI 5< k5JH%9[O!7decreasoner/examples/Shanahan1999/ThielscherCircuit.txtb Gb GIW <;O~z^}decreasoner/examples/listb Gb GI'decreasoner/includes/SaaSPatterns/PolicyPatterns/policyModel.eb Gb GIυ*dׁxmU?decreasoner/includes/SaaSPatterns/PolicyPatterns/policyModel.e~b Gb GI⛲CK)wZSEdecreasoner/includes/SaaSPatterns/PolicySetPatterns/Nouveau document~b Gb GI^u'L\Ddecreasoner/includes/SaaSPatterns/PolicySetPatterns/policySetModel.eb Gb GI~b卫sl ow Hdecreasoner/includes/SaaSPatterns/RulesPatterns/ConditionsVerification.eb Gb GIOdO-'diqyj0B;decreasoner/includes/SaaSPatterns/RulesPatterns/ruleModel.eb Gb GI W\ydz0ޖjiю򕂓aJۋܲdecreasoner/makerelsat_linux.shb Gb GIHBdvBdVPC0,G!decreasoner/makewalksat_cygwin.shb Gb GIX۶_ޢ$i decreasoner/makewalksat_linux.shb Gb GI RUZ0ݑRA3 decreasoner/parser.outb Gb GI"Z/|*L;]rXdecreasoner/parsetab.pyb Gb GI$/=7]?:g[Th(decreasoner/parsetab.pycb Gb GI;s^Hz[)\Kq^decreasoner/run_decreasoner.pyb Gb GIFGۼ1˭ߥO#decreasoner/software/ply-1.6.tar.gzb Gb GI%$g\ gz1&4Raj$decreasoner/software/ply-1.6/CHANGESb Gb GIg>c'V^֔,$decreasoner/software/ply-1.6/COPYINGb Gb GI5 ?V݃fXm R°#decreasoner/software/ply-1.6/READMEb Gb GItq9=; ~ |t!decreasoner/software/ply-1.6/TODOb Gb GIA=ZVn8NY4U,decreasoner/software/ply-1.6/Tools/mkdist.pyb Gb GI tYTܺJԏsH.)decreasoner/software/ply-1.6/doc/ply.htmlb Gb GJXIӴ䁾9^p 1decreasoner/software/ply-1.6/example/ansic/READMEb Gb GJYq/w,2decreasoner/software/ply-1.6/example/ansic/clex.pyb Gb GJNR0x~]˱Ps^4decreasoner/software/ply-1.6/example/ansic/cparse.pyb Gb GJW gđ*Č)Ѿ1decreasoner/software/ply-1.6/example/calc/calc.pyb Gb GJl}rWc^78+3decreasoner/software/ply-1.6/example/hedit/hedit.pyb Gb GJ mo^H4)P3decreasoner/software/ply-1.6/example/optcalc/READMEb Gb GJ D4D\44 ؍4decreasoner/software/ply-1.6/example/optcalc/calc.pyb Gb GJ`M0V4""GE#decreasoner/software/ply-1.6/lex.pyb Gb GJ=2=L"0qCH%decreasoner/software/ply-1.6/setup.pyb Gb GJ0K hpL!wbn(decreasoner/software/ply-1.6/test/READMEb Gb GJI0!SX Iෙ4jW,decreasoner/software/ply-1.6/test/calclex.pyb Gb GJD)8 "oLrN:.decreasoner/software/ply-1.6/test/lex_doc1.expb Gb GJQK T L-decreasoner/software/ply-1.6/test/lex_dup3.pyb Gb GJ?8`-UԱ,.I_T1Y/decreasoner/software/ply-1.6/test/lex_empty.expb Gb GJdr/"w2xVK.decreasoner/software/ply-1.6/test/lex_empty.pyb Gb GJ*[<^O^zk0decreasoner/software/ply-1.6/test/lex_error1.expb Gb GJy4e$ N륯L/decreasoner/software/ply-1.6/test/lex_error1.pyb Gb GJ?UȶDoSdr0decreasoner/software/ply-1.6/test/lex_error2.expb Gb GJ rprn{Ƃ`FJ/decreasoner/software/ply-1.6/test/lex_error2.pyb Gb GJ!bh(/decreasoner/software/ply-1.6/test/lex_ignore.pyb Gb GJ)ucN3p̟Be-decreasoner/software/ply-1.6/test/lex_re1.expb Gb GJ*JZ gdg r,decreasoner/software/ply-1.6/test/lex_re1.pyb Gb GJ+[ #)Kڇbd/decreasoner/software/ply-1.6/test/lex_rule1.expb Gb GJ,7d^7(!.decreasoner/software/ply-1.6/test/lex_rule1.pyb Gb GJ-27 o sg0decreasoner/software/ply-1.6/test/lex_token1.expb Gb GJ.좶91<\EEM/decreasoner/software/ply-1.6/test/lex_token1.pyb Gb GJ/2?QٻM~C)e0decreasoner/software/ply-1.6/test/lex_token2.expb Gb GJ08MGoU/@" /decreasoner/software/ply-1.6/test/lex_token2.pyb Gb GJ1eّ|#PklX'=&0decreasoner/software/ply-1.6/test/lex_token3.expb Gb GJ2kVSjgj/decreasoner/software/ply-1.6/test/lex_token3.pyb Gb GJ3A=؎ul7!0decreasoner/software/ply-1.6/test/lex_token4.expb Gb GJ4}bu9c1t[/decreasoner/software/ply-1.6/test/lex_token4.pyb Gb GJ5W׼C^hvq0decreasoner/software/ply-1.6/test/lex_token5.expb Gb GJ68ٰjGGʪ/decreasoner/software/ply-1.6/test/lex_token5.pyb Gb GJ7 ֳoҥyml?]O,decreasoner/software/ply-1.6/test/rununit.pyb Gb GJ8-Gy5{MB0R^r ,decreasoner/software/ply-1.6/test/testlex.pyb Gb GJ9vRLQﺿ+b1ᔫ-decreasoner/software/ply-1.6/test/testyacc.pyb Gb GJ:E#]Ί}4ó2decreasoner/software/ply-1.6/test/yacc_badargs.expb Gb GJ;^ȣۖi`qxʐ~1decreasoner/software/ply-1.6/test/yacc_badargs.pyb Gb GJ<4wd$g?\p)/U|,2decreasoner/software/ply-1.6/test/yacc_badprec.expb Gb GJ=|Uw o17cosn{1decreasoner/software/ply-1.6/test/yacc_badprec.pyb Gb GJ>eB{()3b|3decreasoner/software/ply-1.6/test/yacc_badprec2.expb Gb GJ?v^N>葦 2decreasoner/software/ply-1.6/test/yacc_badprec2.pyb Gb GJ@U7yw*\D.˜52decreasoner/software/ply-1.6/test/yacc_badrule.expb Gb GJAөglV a 1decreasoner/software/ply-1.6/test/yacc_badrule.pyb Gb GJB0G&E{0GR41decreasoner/software/ply-1.6/test/yacc_badtok.expb Gb GJC֡}&ɯ)}CF0decreasoner/software/ply-1.6/test/yacc_badtok.pyb Gb GJDә"ƒyўtdtX!pW.decreasoner/software/ply-1.6/test/yacc_dup.expb Gb GJEU|Ю S֔ ߄Hu-decreasoner/software/ply-1.6/test/yacc_dup.pyb Gb GJFD Y7e 1decreasoner/software/ply-1.6/test/yacc_error1.expb Gb GJGA0RWRr"##0decreasoner/software/ply-1.6/test/yacc_error1.pyb Gb GJHDW;MOEDi2 =@T*9.decreasoner/software/ply-1.6/test/yacc_inf.expb Gb GJMՈ^,MT{:Y-decreasoner/software/ply-1.6/test/yacc_inf.pyb Gb GJN]jTs|ϑ3decreasoner/software/ply-1.6/test/yacc_missing1.expb Gb GJO9J9j'A/&'2decreasoner/software/ply-1.6/test/yacc_missing1.pyb Gb GJP{?R(r'586(-0decreasoner/software/ply-1.6/test/yacc_nodoc.expb Gb GJQڪK؇q2>3~nll/decreasoner/software/ply-1.6/test/yacc_nodoc.pyb Gb GJRWo:M@EJ.ߦ?5h2decreasoner/software/ply-1.6/test/yacc_noerror.expb Gb GJS/Ho.+kkL5I1decreasoner/software/ply-1.6/test/yacc_noerror.pyb Gb GJT(xŏ;pF.decreasoner/software/ply-1.6/test/yacc_nop.expb Gb GJUř/g%-ߦ-decreasoner/software/ply-1.6/test/yacc_nop.pyb Gb GJV'g4%muj͗a2decreasoner/software/ply-1.6/test/yacc_notfunc.expb Gb GJWc%OOFVqK+K1decreasoner/software/ply-1.6/test/yacc_notfunc.pyb Gb GJX7poYêp2} K0decreasoner/software/ply-1.6/test/yacc_notok.expb Gb GJYߠ-%E/decreasoner/software/ply-1.6/test/yacc_notok.pyb Gb GJZEVno13-decreasoner/software/ply-1.6/test/yacc_rr.expb Gb GJ[5ap=Ճ l I1 ,decreasoner/software/ply-1.6/test/yacc_rr.pyb Gb GJ\&ydIph80wP1decreasoner/software/ply-1.6/test/yacc_simple.expb Gb GJ]{K@r,)…oml0decreasoner/software/ply-1.6/test/yacc_simple.pyb Gb GJ^Fr%h8MSzXFF+.-decreasoner/software/ply-1.6/test/yacc_sr.expb Gb GJ_cCA~8bh\;ؓb.decreasoner/software/relsat-dist/BigNum_fake.hb b JkQW)_.+decreasoner/software/relsat-dist/Clause.cppb b Jl:8N# Ta8v})decreasoner/software/relsat-dist/Clause.hb b Jm(kn?c/1T?u`)decreasoner/software/relsat-dist/Clause.ob b Jn i^zQ /decreasoner/software/relsat-dist/ClauseList.cppb b Jo sq{ ?Gna-decreasoner/software/relsat-dist/ClauseList.hb b Jp$ߠQ25ɀj-decreasoner/software/relsat-dist/ClauseList.ob b Jq g?[qzyQ]*decreasoner/software/relsat-dist/Debug.cppb b JrpBKhVCvR(decreasoner/software/relsat-dist/Debug.hb b Js]ȷ*\w*decreasoner/software/relsat-dist/Makefile2b b J}:C~H6=!+decreasoner/software/relsat-dist/Maximums.hb b J~ǀC3kՄRA( ,decreasoner/software/relsat-dist/RandGen.cppb b Jw`=7i1~cU(*decreasoner/software/relsat-dist/RandGen.hb b JH[:yn 5FA9mW*decreasoner/software/relsat-dist/RandGen.ob b J:unt;, f+decreasoner/software/relsat-dist/Random.cppb b Jo PaX gv[>0L)decreasoner/software/relsat-dist/Random.hb b JUxhO[nѻ);)decreasoner/software/relsat-dist/Random.ob b JPB3o'oM5gǠBAf0decreasoner/software/relsat-dist/SATInstance.cppb b J; T/HUNev+.decreasoner/software/relsat-dist/SATInstance.hb b JkH @tA.decreasoner/software/relsat-dist/SATInstance.ob b JtH MK?Ib_Ž}4decreasoner/software/relsat-dist/SATPreprocessor.cppb b Jw$!NKn2decreasoner/software/relsat-dist/SATPreprocessor.hb b JpEGvlcr>} em%2decreasoner/software/relsat-dist/SATPreprocessor.ob b J,4@L&-L|,decreasoner/software/relsat-dist/SATSolver.hb b J >:z&Z*N:C,decreasoner/software/relsat-dist/SATSolver.ob b JiN昸\5:}jP1decreasoner/software/relsat-dist/VariableList.cppb b JiCBZƣJ}Bʐ/decreasoner/software/relsat-dist/VariableList.hb b Jcn4.~>g! y/decreasoner/software/relsat-dist/VariableList.ob b J ̝f^n:ToՅ.decreasoner/software/relsat-dist/VariableSet.hb b J K3*HV'*decreasoner/software/relsat-dist/WHATS_NEWb yb yJ]lL7CueR)decreasoner/software/relsat-dist/libgmp.ab yb yJhQx2 ,a.*decreasoner/software/relsat-dist/libgmp.lab yb yJոhD)$n5+decreasoner/software/relsat-dist/libgmp.laib yb yJHp]}߉ pg*decreasoner/software/relsat-dist/libgmp.sob *b *JHp]}߉ pg,decreasoner/software/relsat-dist/libgmp.so.3b *b *JHp]}߉ pg0decreasoner/software/relsat-dist/libgmp.so.3.5.0b *b *JK5@tb@ ޞmp_J)decreasoner/software/relsat-dist/main.cppb *b *JU=tdrb7;3p#r'decreasoner/software/relsat-dist/main.ob *b *J[R.|,uYI)decreasoner/software/relsat-dist/my_gmp.hb *b *JH 5DUbh$ob_C0decreasoner/software/relsat-dist/relsat_2.02.tarb *b *J$/GSմ_ ̀.decreasoner/software/relsat-dist/sat_solve.cppb *b *Jo jsC[/,decreasoner/software/relsat-dist/sat_solve.ob ;b ;Jm?ό.FUyvTdecreasoner/solvers/relsatb ;b ;Jv~z0f҃#K:decreasoner/yacc.pyb ;b ;JxGe ecnet/CTime.eb ;b ;J@peES>fq@5ecnet/Cognition.eb ;b ;JPZ]-r]э9{Ptecnet/Condition.eb ;b ;Jt"+ti O[N}ecnet/Container.eb ;b ;JBq: x!#O %DO ecnet/Gun.eb ;b ;J&F6N9ecnet/HandTo.eb ;b ;J2 {'Eecnet/HungerNeed.eb ;b ;JKԧM6~(PQǼN ecnet/IPRel.eb ;b ;J 04x xMӺ«ecnet/Kidnapping.eb ;b ;J.S:]-oG~񔙀V>m ecnet/LICENSEb ;b ;J x&tt/3k+x='ecnet/MakingAnAcquaintance.eb ;b ;JZQJJyS ecnet/Money.eb ;b ;J/-`Iȧ]kecnet/OMSpace.eb ;b ;J>RDz˄?,n Pecnet/OTSpace.eb ;b ;JxImPOh^R',~% ecnet/Ontology.eb ;b ;J| >Fw*u،$<ecnet/PlayNeed.eb ;b ;J!*ecnet/PolySpace.eb ;b ;J%=PE1J˘k_ecnet/RTSpace.eb ;b ;J-@Z`F. ecnet/Rain.eb ;b ;J -O8Rb813ٿƉecnet/ReadingABook.eb ;b ;J vW)mgBD ecnet/ReadingALetter.eb ;b ;J=b)SW9-` )ecnet/RepRest.eb ;b ;J[XBH|#Op ecnet/Rest.eb ;b ;JNeecnet/RidingInACarriage.eb ;b ;J ];=jm2uKecnet/ShootingAttack.eb ;b ;J"DUjt]l+ ecnet/Sleep.eb ;b ;J8E$Kh8iˉecnet/Sleeping.eb ;b ;JfND3a͙WGB`ecnet/SmallFire.eb ;b ;Jz@>.XY ecnet/Smoke.eb ;b ;J {U -cN'`ecnet/Smoking.eb ;b ;JN51 4F%6Jaecnet/SpeechAct.eb ;b ;J`ªa&֔ecnet/TakingATrain.eb ;b ;J ,XYHM{tecnet/TakingAWalk.eb ;b ;J_oBMhl&+@!ecnet/TimeDelayBombing.eb ;b ;J'Tnݢx@^wfH؈JĘdoc4 0 b =U9뗀4ssolvers1 0 j9L-examples204 14 ׷\kigJ7+ZManual10 0 QƸZת a[<~Mueller2006104 13 f=7\wChapter216 0 -/aRq`Chapter34 0 0bAP[xמ%Chapter44 0 WNyky!w_Chapter610 0 -'טokC6^dChapter76 0 <*e4RXChapter86 0 f^B /w-Chapter94 0 HKcSChapter106 0 8{U,L-bn| {GipShanahan199910 0 h.pM> x YAkmanEtAl200417 0 JФL/\FrankEtAl20033 0 y#bp.SCassimatis20025 0 ^RG\SEXfMillerShanahan20022 0 .1.2#GiunchigliaEtAl20047 0 _Ē”~ c_nReiterCriscuolo19814 0 ga"W7i wBrewkaDixKonolige19972 0 r0ܛ/ \)[S}Kincludes12 1 D!X\+ĵSaaSPatterns12 3 |"XM+ʭD)'RulesPatterns5 0 B4h|O2?YPolicyPatterns2 0 1luPolicySetPatterns2 0 _]"0ͥnQV@software157 2 }LtEO+ply-1.6102 4 m=(ĶI.Adoc1 0 64 L*fQtest85 0 jhˬpo26;EmTools1 0 ՞tFm&gGAp9j8example8 5 >~?tjWhqcalc1 0 SNd?Zansic3 0 1JVTŢ'bh~Rhhedit1 0 UZ *&sOjoptcalc2 0 DI%THSclasscalc1 0 ⴏ%1Jfa1'relsat-dist54 0  'i?lrfoundations5 0 bZM<큛v/Pol ?