pythogic/__init__.py,sha256=JtRkh3DyMKVb1YSiKqkLPBx1KVOpbWuuANXIbC5tQXg,159
pythogic/pythogic.py,sha256=VYoI-gwqwBKPx84cA0KnYDRofrgIXs8xtASD2nu5fE0,44
pythogic/base/Alphabet.py,sha256=e9v7X3x_H_PLpKauKtEvevvv33Gkk_pf_NhJv9mZruA,296
pythogic/base/FormalSystem.py,sha256=3xcym388zGxsRtIO6zrh5SnIgtMTPGnuWxnQNZCZVM8,3065
pythogic/base/Formula.py,sha256=1I7rwh30tJApbGG8XmPIi_d5uO3OZ_YizWR8lbE3qT0,9373
pythogic/base/Symbol.py,sha256=xeoykaGfFvqML_7yhq6_3q4nTFNZyVaLrcNKMXAAlRo,1852
pythogic/base/Symbols.py,sha256=qLW35MeeoOnvDoe5A7tg9XaQi_Rl5WmT_rif-btFat4,779
pythogic/base/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
pythogic/base/utils.py,sha256=Jyy2C-yEttwgUv2-LDp4vpUoeGBs0mWH0ATKZ4O9ltw,1301
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=vo_GqYW5OsUn8qIROwQDvohUYxxzMR9dgbJswQUZl5o,12992
pythogic/ldlf/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
pythogic/ldlf_empty_traces/LDLf_EmptyTraces.py,sha256=ipeyInbsbO2CZMOKMKIGOCffyl3eXiDDgh3gn_fSrDI,17571
pythogic/ldlf_empty_traces/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
pythogic/ltlf/LTLf.py,sha256=lDdYg3gcI2CTbPO9ldD-r0xC0EcPCMRfywkWXdSdoq4,3683
pythogic/ltlf/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
pythogic/ltlf/semantics/FiniteTrace.py,sha256=NCL4KJkSL3oOxD04ZQl3CZezkqWDsBDx71iFFUHgytk,1287
pythogic/ltlf/semantics/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
pythogic/pl/PL.py,sha256=Y6HeDAx6OMtePPhLBpajBGiSAlnM7A3luxxGokQaAAI,6201
pythogic/pl/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
pythogic/pl/semantics/PLInterpretation.py,sha256=CCwMtvtcP2GywKUjMAdJd7NSDKYo1-nEoMgwTcKr7wM,821
pythogic/pl/semantics/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
pythogic/ref/REf.py,sha256=b9YxE87LE2ypkJC_NaqpLyTZDNMh97HTgP5VlZleArA,2652
pythogic/ref/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
pythogic-0.2.6.dist-info/DESCRIPTION.rst,sha256=FBTxbmggjXh6ao97_fM56lCFL3Cvybpl-rI1NgxQkcQ,4320
pythogic-0.2.6.dist-info/METADATA,sha256=inEz8KHvB7JwII8J_iAE43fjQlAaJ-TDLmKuvvLwUIg,4985
pythogic-0.2.6.dist-info/RECORD,,
pythogic-0.2.6.dist-info/WHEEL,sha256=kdsN-5OJAZIiHN-iO4Rhl82KyS0bDWf4uBwMbkNafr8,110
pythogic-0.2.6.dist-info/metadata.json,sha256=PDLdvTgDtVuCV7UcWqE8QAW2R8oJPJaK1D5ZvXN9o98,854
pythogic-0.2.6.dist-info/top_level.txt,sha256=og0PCjG4F2Qf-fejnNNclYftFqioCXEBmTOtQCotBrU,9
