gavel
A toolset for prover independent premise selection. Template generated with cookiecutter-pylibrary.
Installation
In a virtualenv (see these instructions if you need to create one):
pip3 install gavel
Releases
| Version | Released | Buster Python 3.7 |
Bullseye Python 3.9 |
Bookworm Python 3.11 |
Files |
|---|---|---|---|---|---|
| 0.1.5 | 2022-09-01 | ||||
|
|||||
| 0.1.4 | 2022-08-31 | ||||
|
|||||
| 0.1.3 | 2022-05-24 | ||||
|
|||||
| 0.1.3.dev0 pre-release | 2022-04-27 | ||||
|
|||||
| 0.1.2 | 2021-06-04 | ||||
|
|||||
| 0.1.1 | 2021-05-26 | ||||
|
|||||
| 0.1.0 | 2021-05-21 | ||||
|
|||||
| 0.1.0.dev0 pre-release | 2021-05-21 | ||||
| 0.0.6 | 2020-01-21 | ||||
|
|||||
| 0.0.5 | 2020-01-13 | ||||
|
|||||
| 0.0.4 | 2019-12-02 | ||||
|
|||||
| 0.0.3 | 2019-11-07 | ||||
|
|||||
| 0.0.2 | 2019-11-04 | ||||
|
|||||
| 0.0.1 | 2019-11-04 | ||||
|
|||||
| 0.0.0 | 2019-10-10 | ||||
|
|||||
Issues with this package?
- Search issues for this package
- Package or version missing? Open a new issue
- Something else? Open a new issue