PyPI page
Home page
Author:
Martin Glauer
License:
AGPL
Summary:
A toolset for prover independent premise selection. Template generated with cookiecutter-pylibrary.
Latest version:
0.2.1
Required dependencies:
beautifulsoup4
|
click
|
graphviz
|
importlib-metadata
|
lark-parser
|
lxml
|
pre-commit
|
pytest
|
requests
Optional dependencies:
black
|
isort
|
pre-commit
|
sphinx-click
Downloads last day:
2
Downloads last week:
60
Downloads last month:
192