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
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.0.dev0.tar.gz
(57.0 kB
view hashes)
Built Distribution
gavel-0.1.0.dev0-py3-none-any.whl
(42.5 kB
view hashes)
Close
Hashes for gavel-0.1.0.dev0-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 55098b0b112d8e784b5b8af1defb5e4e364d516260c5489a852b74b8e59dc050 |
|
MD5 | b78b6ed816693e420b35d7bc896d27af |
|
BLAKE2b-256 | f18c562ea7a0696e32960eae9b2c84e9453e5fb69599c36d59b8ce120ed28941 |