README.md
setup.py
test/__init__.py
test/common.py
test/integration/__init__.py
test/integration/test_systemOnTPTP.py
test/integration/bin/__init__.py
test/unit/__init__.py
tptp/__init__.py
tptp/__main__.py
tptp.egg-info/PKG-INFO
tptp.egg-info/SOURCES.txt
tptp.egg-info/dependency_links.txt
tptp.egg-info/entry_points.txt
tptp.egg-info/requires.txt
tptp.egg-info/top_level.txt
tptp/benchmark/__init__.py
tptp/competition/__init__.py
tptp/competition/casc.py
tptp/competition/competition.py
tptp/core/__init__.py
tptp/core/problem.py
tptp/core/szs.py
tptp/core/tptpInputLanguages.py
tptp/encoding/__init__.py
tptp/encoding/dimacs.py
tptp/encoding/encoder.py
tptp/encoding/encodingChooser.py
tptp/encoding/encodingResult.py
tptp/encoding/encodingUtils.py
tptp/frontend/__init__.py
tptp/frontend/bin/__init__.py
tptp/frontend/bin/__main__.py
tptp/frontend/bin/toolBase.py
tptp/frontend/bin/toolCompetition.py
tptp/frontend/bin/toolEncoder.py
tptp/frontend/bin/toolLocalSolver.py
tptp/frontend/bin/toolSystemOnTPTP.py
tptp/frontend/statistics/__init__.py
tptp/frontend/statistics/common.py
tptp/frontend/statistics/competitionBarCharts.py
tptp/frontend/statistics/dummyResults.py
tptp/parser/__init__.py
tptp/reasoning/__init__.py
tptp/reasoning/capability.py
tptp/reasoning/capabilityDiscovery.py
tptp/reasoning/loader.py
tptp/reasoning/localSolver.py
tptp/reasoning/systemOnTPTP.py
tptp/reasoning/core/__init__.py
tptp/reasoning/core/reasoningExecuter.py
tptp/reasoning/core/solver.py
tptp/reasoning/core/solverCall.py
tptp/reasoning/core/solverResult.py
tptp/reasoning/core/solverType.py
tptp/utils/__init__.py
tptp/utils/color.py
tptp/utils/concurrent/__init__.py
tptp/utils/concurrent/httpRequest.py
tptp/utils/concurrent/localProcess.py
tptp/utils/concurrent/process.py
tptp/utils/concurrent/processExecuter.py
tptp/utils/concurrent/threadedTaskExecuter.py
tptp/utils/concurrent/timer.py