piwheels

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

Dependencies

• graphviz
• importlib-metadata
• pre-commit
• pytest
• lxml
• beautifulsoup4
• click
• lark-parser
• requests

Releases

Version	Released	Bookworm Python 3.11	Trixie Python 3.13	Files
0.2.1	2026-02-06
gavel-0.2.1-py3-none-any.whl (51 KB)
0.2.0	2026-01-28
gavel-0.2.0-py3-none-any.whl (51 KB)
0.1.8	2026-01-21
gavel-0.1.8-py3-none-any.whl (46 KB)
0.1.7	2025-03-27
gavel-0.1.7-py3-none-any.whl (45 KB)
0.1.6.dev0 pre-release	2025-03-27
gavel-0.1.6.dev0-py3-none-any.whl (46 KB)
0.1.5	2022-09-01
gavel-0.1.5-py3-none-any.whl (318 KB)
0.1.4	2022-08-31
gavel-0.1.4-py3-none-any.whl (318 KB)
0.1.3	2022-05-24
gavel-0.1.3-py3-none-any.whl (308 KB)
0.1.3.dev0 pre-release	2022-04-27
gavel-0.1.3.dev0-py3-none-any.whl (308 KB)
0.1.2	2021-06-04
gavel-0.1.2-py3-none-any.whl (414 KB)
0.1.1	2021-05-26
gavel-0.1.1-py3-none-any.whl (42 KB)
0.1.0	2021-05-21
gavel-0.1.0-py3-none-any.whl (41 KB)
0.1.0.dev0 pre-release	2021-05-21
gavel-0.1.0.dev0-py3-none-any.whl (42 KB)
0.0.6	2020-01-21
gavel-0.0.6-py3-none-any.whl (138 KB)
0.0.5	2020-01-13
gavel-0.0.5-py3-none-any.whl (138 KB)
0.0.4	2019-12-02
gavel-0.0.4-py3-none-any.whl (138 KB)
0.0.3	2019-11-07
gavel-0.0.3-py3-none-any.whl (137 KB)
0.0.2	2019-11-04
gavel-0.0.2-py3-none-any.whl (127 KB)
0.0.1	2019-11-04
gavel-0.0.1-py3-none-any.whl (137 KB)
0.0.0	2019-10-10
gavel-0.0.0-py3-none-any.whl (132 KB)

Issues with this package?

• Search issues for this package
• Package or version missing? Open a new issue
• Something else? Open a new issue