docs
tests
package

A toolset for prover independent premise selection. Template generated with cookiecutter-pylibrary.

pip install gavel

https://gavel.readthedocs.io/

To run the all tests run:

tox

Note, to combine the coverage data from all the tox environments run:

set PYTEST_ADDOPTS=--cov-append
tox

PYTEST_ADDOPTS=--cov-append tox