CMakeLists.txt
COPYING
MANIFEST.in
README.md
pyproject.toml
setup.cfg
setup.py
lib/FaCT++/AD.cpp
lib/FaCT++/CMakeLists.txt
lib/FaCT++/FaCT.cpp
lib/FaCT++/comparser.h
lib/FaCT++/comscanner.h
lib/FaCT++/lispgrammar.h
lib/FaCT++/parser.cpp
lib/FaCT++/parser.h
lib/FaCT++/scanner.cpp
lib/FaCT++/scanner.h
lib/Kernel/Actor.cpp
lib/Kernel/Actor.h
lib/Kernel/AtomicDecomposer.cpp
lib/Kernel/AtomicDecomposer.h
lib/Kernel/BiPointer.h
lib/Kernel/Blocking.cpp
lib/Kernel/BuildDAG.cpp
lib/Kernel/CGLabel.h
lib/Kernel/CMakeLists.txt
lib/Kernel/CWDArray.cpp
lib/Kernel/CWDArray.h
lib/Kernel/CascadedCache.cpp
lib/Kernel/ConceptWithDep.h
lib/Kernel/DLConceptTaxonomy.cpp
lib/Kernel/DLConceptTaxonomy.h
lib/Kernel/DataReasoning.cpp
lib/Kernel/DataReasoning.h
lib/Kernel/DataTypeCenter.cpp
lib/Kernel/DataTypeCenter.h
lib/Kernel/DataTypeComparator.h
lib/Kernel/DeletelessAllocator.h
lib/Kernel/DepSet.h
lib/Kernel/ExtendedDataRange.cpp
lib/Kernel/ExtendedSyntacticLocalityChecker.h
lib/Kernel/GeneralSyntacticLocalityChecker.h
lib/Kernel/Incremental.cpp
lib/Kernel/Input.cpp
lib/Kernel/Kernel.cpp
lib/Kernel/Kernel.h
lib/Kernel/KnowledgeExplorer.cpp
lib/Kernel/KnowledgeExplorer.h
lib/Kernel/LeveLogger.cpp
lib/Kernel/LeveLogger.h
lib/Kernel/LocalityChecker.cpp
lib/Kernel/LocalityChecker.h
lib/Kernel/LogicFeature.cpp
lib/Kernel/LogicFeature.h
lib/Kernel/Modularity.h
lib/Kernel/ModuleMethod.h
lib/Kernel/ModuleType.h
lib/Kernel/OntologyBasedModularizer.h
lib/Kernel/Preprocess.cpp
lib/Kernel/PriorityMatrix.h
lib/Kernel/ProgressIndicatorInterface.h
lib/Kernel/RAutomaton.cpp
lib/Kernel/RAutomaton.h
lib/Kernel/RDF_URIs.h
lib/Kernel/Reasoner.cpp
lib/Kernel/Reasoner.h
lib/Kernel/ReasonerNom.cpp
lib/Kernel/ReasonerNom.h
lib/Kernel/Relevance.cpp
lib/Kernel/RoleMaster.cpp
lib/Kernel/RoleMaster.h
lib/Kernel/SaveLoad.cpp
lib/Kernel/SaveLoadManager.cpp
lib/Kernel/SaveLoadManager.h
lib/Kernel/SearchableStack.h
lib/Kernel/SemanticLocalityChecker.h
lib/Kernel/SigIndex.h
lib/Kernel/SortedReasoning.cpp
lib/Kernel/SyntacticLocalityChecker.h
lib/Kernel/Tactic.cpp
lib/Kernel/TaxGatheringWalker.h
lib/Kernel/Taxonomy.cpp
lib/Kernel/Taxonomy.h
lib/Kernel/TaxonomyCreator.cpp
lib/Kernel/TaxonomyCreator.h
lib/Kernel/ToDoList.h
lib/Kernel/TripleGatherer.h
lib/Kernel/WalkerInterface.h
lib/Kernel/configure.cpp
lib/Kernel/configure.h
lib/Kernel/counter.h
lib/Kernel/cpm.h
lib/Kernel/cppi.h
lib/Kernel/dir_util.cpp
lib/Kernel/dir_util.h
lib/Kernel/dlCompletionGraph.cpp
lib/Kernel/dlCompletionGraph.h
lib/Kernel/dlCompletionTree.cpp
lib/Kernel/dlCompletionTree.h
lib/Kernel/dlCompletionTreeArc.h
lib/Kernel/dlDag.cpp
lib/Kernel/dlDag.h
lib/Kernel/dlTBox.cpp
lib/Kernel/dlTBox.h
lib/Kernel/dlVHash.h
lib/Kernel/dlVHashImpl.h
lib/Kernel/dlVertex.cpp
lib/Kernel/dlVertex.h
lib/Kernel/dltree.cpp
lib/Kernel/dltree.h
lib/Kernel/dumpInterface.cpp
lib/Kernel/dumpInterface.h
lib/Kernel/dumpLisp.cpp
lib/Kernel/dumpLisp.h
lib/Kernel/eFPPCantRegName.h
lib/Kernel/eFPPCycleInRIA.h
lib/Kernel/eFPPInconsistentKB.h
lib/Kernel/eFPPNonSimpleRole.h
lib/Kernel/eFPPSaveLoad.h
lib/Kernel/eFPPTimeout.h
lib/Kernel/eFaCTPlusPlus.h
lib/Kernel/flags.h
lib/Kernel/fpp_assert.h
lib/Kernel/globaldef.h
lib/Kernel/grammar.h
lib/Kernel/growingArrayP.h
lib/Kernel/ifOptions.cpp
lib/Kernel/ifOptions.h
lib/Kernel/logging.h
lib/Kernel/mergeableLabel.h
lib/Kernel/modelCacheConst.h
lib/Kernel/modelCacheIan.cpp
lib/Kernel/modelCacheIan.h
lib/Kernel/modelCacheInterface.h
lib/Kernel/modelCacheSingleton.h
lib/Kernel/parseTime.cpp
lib/Kernel/parseTime.h
lib/Kernel/procTimer.h
lib/Kernel/tAxiom.cpp
lib/Kernel/tAxiom.h
lib/Kernel/tAxiomSet.cpp
lib/Kernel/tAxiomSet.h
lib/Kernel/tBranchingContext.h
lib/Kernel/tConcept.cpp
lib/Kernel/tConcept.h
lib/Kernel/tCounter.h
lib/Kernel/tDLAxiom.cpp
lib/Kernel/tDLAxiom.h
lib/Kernel/tDLExpression.h
lib/Kernel/tDag2Interface.cpp
lib/Kernel/tDag2Interface.h
lib/Kernel/tDataEntry.h
lib/Kernel/tDataType.h
lib/Kernel/tDataTypeBool.h
lib/Kernel/tDataTypeManager.h
lib/Kernel/tDepSet.h
lib/Kernel/tExpressionManager.cpp
lib/Kernel/tExpressionManager.h
lib/Kernel/tExpressionPrinterLISP.h
lib/Kernel/tExpressionTranslator.h
lib/Kernel/tFastSet.h
lib/Kernel/tHeadTailCache.h
lib/Kernel/tIndividual.h
lib/Kernel/tKBFlags.h
lib/Kernel/tLabeller.h
lib/Kernel/tLexeme.h
lib/Kernel/tNAryQueue.h
lib/Kernel/tNECollection.h
lib/Kernel/tNameSet.h
lib/Kernel/tNamedEntry.h
lib/Kernel/tOntology.h
lib/Kernel/tOntologyAtom.h
lib/Kernel/tOntologyLoader.h
lib/Kernel/tOntologyPrinterLISP.h
lib/Kernel/tProgressMonitor.h
lib/Kernel/tRareSaveStack.h
lib/Kernel/tRelated.h
lib/Kernel/tRestorer.h
lib/Kernel/tRole.cpp
lib/Kernel/tRole.h
lib/Kernel/tSaveList.h
lib/Kernel/tSaveStack.h
lib/Kernel/tSetAsTree.h
lib/Kernel/tSignature.h
lib/Kernel/tSignatureUpdater.h
lib/Kernel/taxNamEntry.h
lib/Kernel/taxVertex.cpp
lib/Kernel/taxVertex.h
lib/Kernel/tsttree.h
pyfactxx/CMakeLists.txt
pyfactxx/__init__.py
pyfactxx/lib_factxx.pyx
pyfactxx.egg-info/PKG-INFO
pyfactxx.egg-info/SOURCES.txt
pyfactxx.egg-info/dependency_links.txt
pyfactxx.egg-info/not-zip-safe
pyfactxx.egg-info/requires.txt
pyfactxx.egg-info/top_level.txt
pyfactxx/coras/__init__.py
pyfactxx/coras/cli.py
pyfactxx/coras/core.py
pyfactxx/coras/debug.py
pyfactxx/coras/parser.py
pyfactxx/coras/query.py
pyfactxx/coras/util.py