PyPI page
Home page
Author:
Boris Shminke
Summary:
Gymnasium environments for saturation provers
Latest version:
1.0.4
Required dependencies:
gymnasium
|
pexpect
Optional dependencies:
coverage
|
debugpy
|
furo
|
isort
|
jedi-language-server
|
pre-commit
|
pydoclint
|
pyrefly
|
pyroma
|
pytest
|
ruff
|
sphinx-autodoc-typehints
|
tbump
|
toml
|
types-dataclasses
Downloads last day:
8
Downloads last week:
39
Downloads last month:
382