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 | Bullseye Python 3.9 |
Bookworm Python 3.11 |
Files |
|---|---|---|---|---|
| 0.1.7 | 2025-03-27 | |||
|
||||
| 0.1.6.dev0 pre-release | 2025-03-27 | |||
| 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