PyPI page
Home page
Author:
Ionel Eduard Stan
License:
MIT
Summary:
evidence records and reason-deletion certificates for decision systems
Latest version:
0.10.2
Required dependencies:
nesyarena
|
rtamt
|
z3-solver
Optional dependencies:
hypothesis
|
mypy
|
onnx
|
pdfminer-six
|
pytest
|
pytest-cov
|
ruff
Downloads last day:
1
Downloads last week:
33
Downloads last month:
91
7-day smoothing