.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
src/gavel/__init__.py
src/gavel/__main__.py
src/gavel/alembic.ini
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/entry_points.txt
src/gavel.egg-info/not-zip-safe
src/gavel.egg-info/requires.txt
src/gavel.egg-info/top_level.txt
src/gavel/alembic/README
src/gavel/alembic/env.py
src/gavel/alembic/script.py.mako
src/gavel/alembic/versions/0_base.py
src/gavel/alembic/versions/20191011183019_87d4ea0aa91d_initial_revision.py
src/gavel/alembic/versions/20191011190617_78fa69083a7c_add_complete_field_to_sources.py
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/db/__init__.py
src/gavel/dialects/db/compiler.py
src/gavel/dialects/db/connection.py
src/gavel/dialects/db/parser.py
src/gavel/dialects/db/structures.py
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/sources.py
src/gavel/dialects/tptp/tptp.lark
src/gavel/dialects/tptp/antlr4/flattening.py
src/gavel/dialects/tptp/antlr4/tptp_v7_0_0_0.interp
src/gavel/dialects/tptp/antlr4/tptp_v7_0_0_0.tokens
src/gavel/dialects/tptp/antlr4/tptp_v7_0_0_0Lexer.interp
src/gavel/dialects/tptp/antlr4/tptp_v7_0_0_0Lexer.py
src/gavel/dialects/tptp/antlr4/tptp_v7_0_0_0Lexer.tokens
src/gavel/dialects/tptp/antlr4/tptp_v7_0_0_0Listener.py
src/gavel/dialects/tptp/antlr4/tptp_v7_0_0_0Parser.py
src/gavel/dialects/tptp/antlr4/tptp_v7_0_0_0Visitor.py
src/gavel/learning/__init__.py
src/gavel/learning/autoencoder.py
src/gavel/logic/__init__.py
src/gavel/logic/logic.py
src/gavel/logic/problem.py
src/gavel/logic/proof.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/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/test_selection.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_db/__init__.py
tests/test_dialects/test_db/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_provers/__init__.py
tests/test_provers/test_registry.py