A toolset for prover independent premise selection. Template generated with cookiecutter-pylibrary.
Project description
A toolset for prover independent premise selection. Template generated with cookiecutter-pylibrary.
Installation
pip install gavel
Documentation
Development
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 |
Changelog
0.0.0 (2019-02-19)
- First release on PyPI.
Project details
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Filename, size | File type | Python version | Upload date | Hashes |
---|---|---|---|---|
Filename, size gavel-0.0.6-py3-none-any.whl (141.4 kB) | File type Wheel | Python version py3 | Upload date | Hashes View |
Filename, size gavel-0.0.6.tar.gz (149.4 kB) | File type Source | Python version None | Upload date | Hashes View |