PyPI page
Home page
Author:
None
Summary:
Python wrapper for Tamarin Prover with JSON configuration
Latest version:
1.1.2
Required dependencies:
diskcache
|
graphviz
|
jinja2
|
psutil
|
py-tree-sitter-spthy
|
pydantic
|
tree-sitter
|
typer
Optional dependencies:
build
|
pre-commit
|
pre-commit-hooks
|
pytest
|
pytest-asyncio
|
ruff
|
setuptools
|
twine
|
wheel
Downloads last day:
4
Downloads last week:
35
Downloads last month:
91