fuxi/__init__.py,sha256=yKFEpFl5KUHCZt_ZydnKbs2Gc23ifH9ZGUW3gqMJWLo,179
fuxi/types.py,sha256=Y9BEHYEo9IJhZvEL7KcobH4TfRXMRR1jdxBgg61psJo,748
fuxi/DLP/CompletionReasoning.py,sha256=_CgGAsSOPGQxC7jSuj3yv4L4L12SvOlm6GLhe0cWlmI,18488
fuxi/DLP/ConditionalAxioms.py,sha256=mt3y7pUIo31lwJ_Q4tE9XYE_X2AB5PoDE9wxxx5MqH8,2679
fuxi/DLP/DLNormalization.py,sha256=RENU6HAAHgblEq_zjiyygvPPB7tvXQQ33FZUs80lkyQ,13147
fuxi/DLP/LPNormalForms.py,sha256=OELg3ZCvP3fgtg6zlKve96tvaQieAZjrinEblRHlMOA,6417
fuxi/DLP/Negation.py,sha256=XvQNtb93Xz6q6FlaZ7zTpRMYkmdaIJjvjPj7xWntTtc,18522
fuxi/DLP/__init__.py,sha256=BK31RDnhU-1KFdiic-6U1MKF7hylzU0jch7P4ARWWtU,36051
fuxi/Horn/HornRules.py,sha256=O_YTWRlpXx_uXuAJ-g02nsayeDJ0GeR4-EX9vXkVEzo,16226
fuxi/Horn/PositiveConditions.py,sha256=aXRfJcGXdkmM_YL1Eh8E8STKWv-PU9M7s1USZ9xg2JY,25827
fuxi/Horn/RIFCore.py,sha256=clxlCFqroA6xqELDIgY15z8r3aMxsN2bLdURTSLP0H4,10534
fuxi/Horn/__init__.py,sha256=rfdsgT1m6sK2r9g8w7lJRcsBAX9assjUNoTR7yHb-QE,5191
fuxi/LP/BackwardFixpointProcedure.py,sha256=yX0PFUF-qKWCpUCCg0kTh6AltzdjQ7cgbdWYA3vU40w,51172
fuxi/LP/__init__.py,sha256=d79K5DlrzVzuzFH7qxA38vUiwnCfxplYhc-9HZnGsA8,1191
fuxi/LP/testSeralizationOfEval.py,sha256=u1FPitN5GWKNWupCBz6KmryqCoYFCv3ZHExQMeWUr18,1092
fuxi/Rete/AlphaNode.py,sha256=GwNSUxw1R-L0m3lJRn7qYFnY-iU7Uyh_-0dFRt-hOD4,14502
fuxi/Rete/BetaNode.py,sha256=3aWhGoWPAKwX5CuMD1ziea7iRGNoqJNm3CiU9HUdpqE,45046
fuxi/Rete/BuiltinPredicates.py,sha256=t5Cj-su_lU73y4vrN0oxmXTc1OV62RRbhc38u0uSpuw,9741
fuxi/Rete/CommandLine.py,sha256=mUDJwwbQoxd_vxgzbCXXAc7w7qxoFAPkyBpLJCXJ1Dw,1357
fuxi/Rete/IteratorAlgebra.py,sha256=tZfqP1jrTP9TD9Gw34s6YJ5ocl5UtFk7SRbu53faowY,3504
fuxi/Rete/Magic.py,sha256=mokgqvgS7LAptakHnscArwWIWYpFhre8jdtdpCQUwsQ,39005
fuxi/Rete/Network.py,sha256=IkTnmk0GbFEZ3BM1Q7hDR_HtUD3AEc9OdNzrLKTKmJo,45114
fuxi/Rete/Node.py,sha256=PsT8q2azuWzIl65cx-lPA_zSh-hS8IZ9y4DZnus9poM,586
fuxi/Rete/Proof.py,sha256=GgNIrvGrOiMh6D8TdVdv1HtHVWgShBnTRGQT4zebQyo,71248
fuxi/Rete/ReteVocabulary.py,sha256=Vlex5Bgs8uhir770QT2drRH0FGpkQwhEWybw-S6-Ydg,110
fuxi/Rete/RuleStore.py,sha256=VDEsAzPPuF0Qqm9CU-fYyKLRAg-6nf1hqHEPMtbZVRM,19136
fuxi/Rete/SidewaysInformationPassing.py,sha256=2YPzr-LKiauntbTbyYrIyNfNkOOfBiwRCqwYOhvYANg,16678
fuxi/Rete/TopDown.py,sha256=9n-v51T7mKvS8cJG1iecIB8iionphvobpRumQXoiEwM,38222
fuxi/Rete/Util.py,sha256=n1g_awDuTdaY-TFtbxiz2JE4Fc7Vs1RP_a-vGt2nRII,16792
fuxi/Rete/__init__.py,sha256=54H6aX1nchC3lmkjezo29XGGfNW5mUTD7QrWNxloiH0,965
fuxi/SPARQL/BackwardChainingStore.py,sha256=zBffBBCOQxUL4DuGJIFr_8FlhuRHdqbEzBHyFXvVE9g,39156
fuxi/SPARQL/__init__.py,sha256=Hq8c4fWde9o_ifOKJ7I9w0xoVplJo2G9WkHRy8tSbxk,18758
fuxi/SPARQL/service.py,sha256=4LqIVrb61E06i_nslcXWwWRdtUTp8Tq7kaBXSeETwbI,6202
fuxi/SPARQL/utilities.py,sha256=F7d6m58x0DPkeUXBsSM4BtDyN3j2yhkuLcTaIfMWve4,14030
fuxi/Syntax/InfixOWL.py,sha256=Vk2Qt6GZjdnW7w-P6mj5plrnHmfHFUk7Y-0mQv1aWsg,97331
fuxi/Syntax/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
fuxi/cli/__init__.py,sha256=U4S_2y3zgLZVfMenHRaJFBW8yqh2mUBuI291LGQVOJ8,35
fuxi/cli/core.py,sha256=94tHo-SpaZcuTGD81E1Xe-yleVlXWpBWb4zp-7pn_1s,2542
fuxi/cli/owl.py,sha256=lgiEnjwjyWdYV4agjnQihkoNLHS-kfnJ-Hx0pHpeiXA,3040
fuxi/cli/proof.py,sha256=hYDP1mhbpACxFEEILowcm1sz9dpggxF8pMSazxi8aoU,2666
fuxi/cli/renderers.py,sha256=-4RShqRH2ZSLtzgJUxMFuwiPH-6uZjE9SnlAA5Fdb_Y,9026
fuxi/cli/shared.py,sha256=DbEO4m6imIyLVjbbbkOLWEMGssNZhKfg7iHjQNdu4tw,16585
fuxi-2.0.0.dist-info/METADATA,sha256=CHvJr0mUID55bYrXgCb4gGB6fO6PCzKxAXti70Fvfms,33476
fuxi-2.0.0.dist-info/WHEEL,sha256=aeYiig01lYGDzBgS8HxWXOg3uV61G9ijOsup-k9o1sk,91
fuxi-2.0.0.dist-info/entry_points.txt,sha256=nVMjMHYCy5ZJiE5xo1nk9o6WReX2LkTwe7ljaAWsDhg,145
fuxi-2.0.0.dist-info/top_level.txt,sha256=gBpKL1GnijWCFAf-OSLgAebl-Q6KnzUYaTZtFsOwRxI,5
fuxi-2.0.0.dist-info/RECORD,,
