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.
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 hashes |
| Filename, size gavel-0.0.6.tar.gz (149.4 kB) | File type Source | Python version None | Upload date | Hashes View hashes |
