setup.cfg
setup.py
FuXi.egg-info/PKG-INFO
FuXi.egg-info/SOURCES.txt
FuXi.egg-info/dependency_links.txt
FuXi.egg-info/entry_points.txt
FuXi.egg-info/not-zip-safe
FuXi.egg-info/requires.txt
FuXi.egg-info/top_level.txt
lib/__init__.py
lib/DLP/ConditionalAxioms.py
lib/DLP/DLNormalization.py
lib/DLP/LPNormalForms.py
lib/DLP/Negation.py
lib/DLP/__init__.py
lib/Horn/HornRules.py
lib/Horn/PositiveConditions.py
lib/Horn/__init__.py
lib/LP/BackwardFixpointProcedure.py
lib/LP/__init__.py
lib/LP/testSeralizationOfEval.py
lib/Rete/AlphaNode.py
lib/Rete/BetaNode.py
lib/Rete/BuiltinPredicates.py
lib/Rete/CommandLine.py
lib/Rete/IteratorAlgebra.py
lib/Rete/Magic.py
lib/Rete/Network.py
lib/Rete/Node.py
lib/Rete/Proof.py
lib/Rete/ReteVocabulary.py
lib/Rete/RuleStore.py
lib/Rete/SidewaysInformationPassing.py
lib/Rete/TopDown.py
lib/Rete/Util.py
lib/Rete/__init__.py
lib/SPARQL/BackwardChainingStore.py
lib/SPARQL/__init__.py
lib/Syntax/InfixOWL.py
lib/Syntax/__init__.py
test/test2ndOrder.py
test/testBFPQueryMemoization.py
test/testCase1.py
test/testExistentialInHead.py
test/testOWL-delta.py
test/testOWL.py
test/testOpenQuery.py
test/testReteAction.py
test/testSkolemization.py
test/test_builtin_ordering.py
test/test_network_reset.py
test/test_sameAs.py
test/test_superproperty_entailment.py