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.
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
gavel-0.1.5.tar.gz
(342.0 kB
view details)
Built Distribution
gavel-0.1.5-py3-none-any.whl
(325.8 kB
view details)
File details
Details for the file gavel-0.1.5.tar.gz.
File metadata
- Download URL: gavel-0.1.5.tar.gz
- Upload date:
- Size: 342.0 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/4.0.1 CPython/3.10.6
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 8f51bb7b6901cf000e825fc7053b7b6aca3ba402fc3d2944dd4269f0d2059d0a |
|
| MD5 | bb03be1a623b624aa54b11ce660de567 |
|
| BLAKE2b-256 | 821343df19629b9e87d3a9daca8aeda7564ffabd285eb116eabfcea59f5d9260 |
File details
Details for the file gavel-0.1.5-py3-none-any.whl.
File metadata
- Download URL: gavel-0.1.5-py3-none-any.whl
- Upload date:
- Size: 325.8 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/4.0.1 CPython/3.10.6
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 23ad1c1970e607fd542b398c52b7287ecf070fc56e36c0a3f455ff1125f56755 |
|
| MD5 | 4b0b54019bf6ed38240c16bbe2289422 |
|
| BLAKE2b-256 | df08957f7a024ce1e120d2fb28eda4575499968c3365885c1100792602793183 |
