| docs | |
|---|---|
| tests |    |
| package | 
|
A toolset for prover independent premise selection. Template generated with cookiecutter-pylibrary.
pip install gavel
To run the all tests run:
tox
Note, to combine the coverage data from all the tox environments run:
| Windows | set PYTEST_ADDOPTS=--cov-append tox |
|---|---|
| Other | PYTEST_ADDOPTS=--cov-append tox |