fuxi/__init__.py,sha256=yKFEpFl5KUHCZt_ZydnKbs2Gc23ifH9ZGUW3gqMJWLo,179
fuxi/predicates.py,sha256=7f_GFjakoUjX7GObjJHrHWkwjWzQvyIfsv7BTRewXcA,6048
fuxi/types.py,sha256=36VOLHFYjDMaGTFEjZcLn0AevYcYDPvJOpUADpnyUo8,747
fuxi/DLP/CompletionReasoning.py,sha256=sJLDOQojMzN5q2-o-B66_g2nNMrFiKbFm48gIt3YPBM,18528
fuxi/DLP/ConditionalAxioms.py,sha256=IuoRxmc6memPL7hSlxBa97zrqnzM8sChe0U9rBr0K5s,2680
fuxi/DLP/DLNormalization.py,sha256=Mzv-WYiuDjI7md64IkJTmO72lr5r5bJAMLUgTxj7HrI,13218
fuxi/DLP/LPNormalForms.py,sha256=c_swjeXoeQXDwidMO3dmO_hHV0GB0XK_MP-zs-12LUQ,6512
fuxi/DLP/Negation.py,sha256=KhMrrDBRB1sqdAa823kxcWwLjFptZF0bLEPp6SnkOM8,18674
fuxi/DLP/__init__.py,sha256=Al_LCT-4kUp4gliOpyVQT_YbmqK-_AtHKcu5KWdZa4k,33720
fuxi/Horn/HornRules.py,sha256=g20o39npzRLiXUlus5ipoZWM0um8SvZZRWCHhzjNPFM,16255
fuxi/Horn/PositiveConditions.py,sha256=ak2aB3yKqbN7dTL0zQof0SYpnAU7pigURhWbL77D7QQ,26472
fuxi/Horn/RIFCore.py,sha256=iQ4_U2TZt-lVgyJEGcHcQP0_WHpkABkzVFTF2y1TGlQ,10559
fuxi/Horn/__init__.py,sha256=rfdsgT1m6sK2r9g8w7lJRcsBAX9assjUNoTR7yHb-QE,5191
fuxi/LP/BackwardFixpointProcedure.py,sha256=3LalcA9K-rJWSvVi4mCoI_tv6Wlj6EHzrnUrhhDU48E,52301
fuxi/LP/__init__.py,sha256=Gt1bSTBWBDtIRafJODhCnxremWDkyMVadSSQ5d1Oo-Y,1190
fuxi/LP/testSeralizationOfEval.py,sha256=u1FPitN5GWKNWupCBz6KmryqCoYFCv3ZHExQMeWUr18,1092
fuxi/Rete/AlphaNode.py,sha256=uE5d0Z5nXop_LUIh6Q4dp9PVnmPcW9lscPLSCjksADw,14551
fuxi/Rete/BetaNode.py,sha256=8zeyMjGHx3Ts2K09hWmMqQXLLR2w93cQLRSZ22PiemM,45619
fuxi/Rete/BuiltinPredicates.py,sha256=t5Cj-su_lU73y4vrN0oxmXTc1OV62RRbhc38u0uSpuw,9741
fuxi/Rete/CommandLine.py,sha256=57-5dfEmV1J0c3C1yfhWnj0qCGFhKNpRbMjxi4Jem_g,1343
fuxi/Rete/IteratorAlgebra.py,sha256=bNTknBugeUujVIs0B8kfEZ_VUd1zRcHxNo0MMBP4-N0,3487
fuxi/Rete/Magic.py,sha256=zvaCAd_QgR0GUFjm9oL6EoU4UlsAh--ml4yzcFU4fk0,39564
fuxi/Rete/Network.py,sha256=IkTnmk0GbFEZ3BM1Q7hDR_HtUD3AEc9OdNzrLKTKmJo,45114
fuxi/Rete/Node.py,sha256=O7bXPGNDY3XDbk8zl5XJ7fg6ON5cT3Gauhr7sKRKokY,569
fuxi/Rete/Proof.py,sha256=h8iOyXLXW5BD6Cij7wcHfHPAAiAE_9q5rqPBWOx5xso,80615
fuxi/Rete/ReteVocabulary.py,sha256=Vlex5Bgs8uhir770QT2drRH0FGpkQwhEWybw-S6-Ydg,110
fuxi/Rete/RuleStore.py,sha256=96vFYRRdjLIDtPVGnHjnZKtW3BpPakyon6l6_j7stIw,19133
fuxi/Rete/SidewaysInformationPassing.py,sha256=RUQw4vfnTCGV3IhX966TkP057nqNVGj6HT-ISHGRDpM,20443
fuxi/Rete/TopDown.py,sha256=ZutiTxV90rFD2utW1FG3iXCV3ZjZUpzLLr6454LZA2k,38620
fuxi/Rete/Util.py,sha256=ZUiJswf7IPzxmHUFbo5V7PcaKK9I14oDCeFVxkucgTg,18253
fuxi/Rete/__init__.py,sha256=54H6aX1nchC3lmkjezo29XGGfNW5mUTD7QrWNxloiH0,965
fuxi/SPARQL/BackwardChainingStore.py,sha256=ZRC6bPwv-ytGtRDNz_9NrLJtB0vJY6wo3_xa-RMeEK0,42002
fuxi/SPARQL/__init__.py,sha256=mHPSeu0_lDwkZCDpmAtmfCLbvJx6lR5UVMSfk3E60_A,18912
fuxi/SPARQL/service.py,sha256=7ylHw0VYzR-UwzaS56JuNM53k6W3GjW32tHBvhRrCeE,9027
fuxi/SPARQL/utilities.py,sha256=6DaTA7rlvwlA8C6LEH-Uy0oVZUw-U5kNQWFY_kv3jMo,23192
fuxi/Syntax/InfixOWL.py,sha256=JQ1Fz0qQYoImEHN-BI38mgRzclDysNQGazZo51s-nBQ,97494
fuxi/Syntax/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
fuxi/cli/__init__.py,sha256=U4S_2y3zgLZVfMenHRaJFBW8yqh2mUBuI291LGQVOJ8,35
fuxi/cli/core.py,sha256=j8EK2zVtgoeBx7xNM4riO2WQpkFYNH_gT9WU9-oO6xI,2498
fuxi/cli/owl.py,sha256=lgiEnjwjyWdYV4agjnQihkoNLHS-kfnJ-Hx0pHpeiXA,3040
fuxi/cli/proof.py,sha256=Lr627S42SbBerPFTQ3sYB-jsjk5jInVmKptQJUcolfo,2629
fuxi/cli/renderers.py,sha256=shl58CSuUc03M9BP5FFcWQtm5_S5BvFu4i8DRXy27pQ,12038
fuxi/cli/shared.py,sha256=8uYHAW5a9v90Ki60Z_tKfyKhgLu_Itp0PXdmXlKu1zw,16357
fuxi-2.1.0.dist-info/METADATA,sha256=yh9kB5LxMyuZgebzxfG-ZrntfZgYO3YI67p8vS9YRsI,34531
fuxi-2.1.0.dist-info/WHEEL,sha256=YVMoNqKzERt-wjUZwJ33xBGAwnFl-4cqbYkTtWa4itE,91
fuxi-2.1.0.dist-info/entry_points.txt,sha256=nVMjMHYCy5ZJiE5xo1nk9o6WReX2LkTwe7ljaAWsDhg,145
fuxi-2.1.0.dist-info/top_level.txt,sha256=gBpKL1GnijWCFAf-OSLgAebl-Q6KnzUYaTZtFsOwRxI,5
fuxi-2.1.0.dist-info/RECORD,,
