.bumpversion.cfg
.cookiecutterrc
.coveragerc
.editorconfig
.pre-commit-config.yaml
.travis.yml
AUTHORS.rst
CHANGELOG.rst
CONTRIBUTING.rst
LICENSE
MANIFEST.in
README.rst
appveyor.yml
setup.cfg
setup.py
tox.ini
ci/appveyor-bootstrap.py
ci/appveyor-download.py
ci/appveyor-with-compiler.cmd
ci/bootstrap.py
ci/templates/.travis.yml
ci/templates/appveyor.yml
docs/authors.rst
docs/changelog.rst
docs/conf.py
docs/contributing.rst
docs/index.rst
docs/installation.rst
docs/readme.rst
docs/requirements.txt
docs/spelling_wordlist.txt
docs/usage.rst
docs/reference/dialect.rst
docs/reference/gavel.rst
docs/reference/index.rst
docs/reference/logic.rst
docs/reference/prover.rst
docs/reference/prover_interfaces/eprover.rst
docs/reference/prover_interfaces/hets.rst
src/gavel/__init__.py
src/gavel/__main__.py
src/gavel/cli.py
src/gavel.egg-info/PKG-INFO
src/gavel.egg-info/SOURCES.txt
src/gavel.egg-info/dependency_links.txt
src/gavel.egg-info/not-zip-safe
src/gavel.egg-info/requires.txt
src/gavel.egg-info/top_level.txt
src/gavel/config/__init__.py
src/gavel/config/settings.py
src/gavel/dialects/__init__.py
src/gavel/dialects/base/__init__.py
src/gavel/dialects/base/compiler.py
src/gavel/dialects/base/dialect.py
src/gavel/dialects/base/parser.py
src/gavel/dialects/logic_programs/__init__.py
src/gavel/dialects/logic_programs/dialect.py
src/gavel/dialects/logic_programs/parser.py
src/gavel/dialects/logic_programs/prolog.lark
src/gavel/dialects/tptp/__init__.py
src/gavel/dialects/tptp/compiler.py
src/gavel/dialects/tptp/dialect.py
src/gavel/dialects/tptp/parser.py
src/gavel/dialects/tptp/tptp.lark
src/gavel/logic/__init__.py
src/gavel/logic/logic.py
src/gavel/logic/logic_utils.py
src/gavel/logic/problem.py
src/gavel/logic/solution.py
src/gavel/logic/sources.py
src/gavel/logic/status.py
src/gavel/plugins/__init__.py
src/gavel/prover/__init__.py
src/gavel/prover/registry.py
src/gavel/prover/base/__init__.py
src/gavel/prover/base/interface.py
src/gavel/prover/eprover/__init__.py
src/gavel/prover/eprover/interface.py
src/gavel/prover/hets/__init__.py
src/gavel/prover/hets/interface.py
src/gavel/prover/vampire/__init__.py
src/gavel/prover/vampire/interface.py
src/gavel/selection/__init__.py
src/gavel/selection/selector.py
tests/__init__.py
tests/conftest.py
tests/files/single_line_fof.txt
tests/files/single_line_thf.txt
tests/test_dialects/__init__.py
tests/test_dialects/test_base/__init__.py
tests/test_dialects/test_base/test_compiler.py
tests/test_dialects/test_base/test_parser.py
tests/test_dialects/test_base/test_roundtrip.py
tests/test_dialects/test_logic_programs/test_parser.py
tests/test_dialects/test_tptp/__init__.py
tests/test_dialects/test_tptp/test_compiler.py
tests/test_dialects/test_tptp/test_parser.py
tests/test_dialects/test_tptp/test_problems.py
tests/test_logic/test_logic.py
tests/test_logic/test_logic_utils.py
tests/test_provers/test_registry.py