pythogic/__init__.py,sha256=_6Ou6NOwp4mV8F1dbsLcBFUbpKK33yS_sVxSgiF5F9k,159
pythogic/pythogic.py,sha256=VYoI-gwqwBKPx84cA0KnYDRofrgIXs8xtASD2nu5fE0,44
pythogic/base/Alphabet.py,sha256=e9v7X3x_H_PLpKauKtEvevvv33Gkk_pf_NhJv9mZruA,296
pythogic/base/FormalSystem.py,sha256=lJL4aEPP3RdC8NHIGK0OhX7twHw9NooSA2UzPD6dbV0,3040
pythogic/base/Formula.py,sha256=sayrDHW5IRQecIkvaGCQ5NbLUEjgeJ6eSk9enLEPUtw,9028
pythogic/base/Symbol.py,sha256=pHRhKkhloBtS4yX3mSUDj5JUawQqpMU7nTUQGzC0XWY,1857
pythogic/base/Symbols.py,sha256=qLW35MeeoOnvDoe5A7tg9XaQi_Rl5WmT_rif-btFat4,779
pythogic/base/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
pythogic/base/utils.py,sha256=CugLD9xGLJLF7sxXqE615Hj7qDxe27AaamNbxEncSjM,365
pythogic/fol/FOL.py,sha256=_ur32B9atjAwTJHVVddHCP3Xu2p8NGJO4la7HbllesI,6691
pythogic/fol/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
pythogic/fol/semantics/Assignment.py,sha256=frPrvSzAjTHU3JjsGxRMineJ2mN21lGCQBJhUlv0niE,875
pythogic/fol/semantics/Function.py,sha256=ndpM-yncTqRMR0luOmEUXXZNwsD0yuKCxaaJwtGgsZQ,1270
pythogic/fol/semantics/Interpretation.py,sha256=yjP47UNVtTgh5KZiTObHb_dZquJXlStMrgQ3ZFJHSbs,2372
pythogic/fol/semantics/Object.py,sha256=Bf5ZAa52ZH9GHxph7f15FIDyQhKEpnrEO4UX-Lo3oDM,451
pythogic/fol/semantics/Relation.py,sha256=PSZ8VrHpd_RLfJTgISEJADy1oqcF0k5FWZ2cKfvkPH4,963
pythogic/fol/semantics/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
pythogic/fol/syntax/FOLAlphabet.py,sha256=QvSNu7ZOyOuIa7OmuZZ9JTHsFFbmWKlrolY-9hHZAyk,449
pythogic/fol/syntax/Term.py,sha256=DSOjqDbYhioZnUY6Ta2UdRCQ7-8MDGuCrvIre9K9qyM,1506
pythogic/fol/syntax/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
pythogic/ldlf/LDLf.py,sha256=W_K1Bp8Csm75qW1htNhUq-sMNNjQVjp0VlgAdXK8XjU,12985
pythogic/ldlf/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
pythogic/ldlf_empty_traces/LDLf_EmptyTraces.py,sha256=waDpzXj14-ipM23clbNS_miJMejcFWzDQZWtsrhH5v8,9735
pythogic/ldlf_empty_traces/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
pythogic/ltlf/LTLf.py,sha256=aXGrZUpuyQpBqHNi57yTzoENDnukdY5V-JKtk0Gt5tc,3676
pythogic/ltlf/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
pythogic/ltlf/semantics/FiniteTrace.py,sha256=2psRPcFBk5Tyu_5DgMH_4qpOzmVtRCTKfh9ooratEIE,1275
pythogic/ltlf/semantics/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
pythogic/pl/PL.py,sha256=s9Ig9t4pqspig6240tfnDgQV0CrXkDh94jwx7753f8g,4333
pythogic/pl/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
pythogic/pl/semantics/PLInterpretation.py,sha256=bCbFAkDeIjco6Fg-8wN0i20Fn5DE8ZrW2fmnh17d5tY,971
pythogic/pl/semantics/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
pythogic/ref/REf.py,sha256=yUYTHw9JJsIE1tjOGXj_ouyDuhVQ2SqG9Pc8YCTs97c,2669
pythogic/ref/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
pythogic-0.2.5.dist-info/DESCRIPTION.rst,sha256=mIvm7-GjLmD8xvTugw36jn2Dh3Wse9adBR2mOGzNEes,4313
pythogic-0.2.5.dist-info/METADATA,sha256=VYeANwt8Z0bJrwnH1twjHizE1mzi_2aXiHl2m_OVoG8,4978
pythogic-0.2.5.dist-info/RECORD,,
pythogic-0.2.5.dist-info/WHEEL,sha256=kdsN-5OJAZIiHN-iO4Rhl82KyS0bDWf4uBwMbkNafr8,110
pythogic-0.2.5.dist-info/metadata.json,sha256=ntbhsZH4_AQOe65lS3eOa7TZc9RUDqKKRCIvu4rJbKU,854
pythogic-0.2.5.dist-info/top_level.txt,sha256=og0PCjG4F2Qf-fejnNNclYftFqioCXEBmTOtQCotBrU,9
