PyPI page
Home page
Author:
Corné Spek, Hendrik Baacke, Jan van Rijn
Summary:
Efficient portfolio-based verification of neural network properties
Latest version:
1.0.0
Required dependencies:
configspace
|
numpy
|
onnx
|
onnxruntime
|
pandas
|
protobuf
|
result
|
smac
|
swig
|
tomli
|
tomli-w
|
xdg-base-dirs
Optional dependencies:
bumpver
|
coverage
|
mkdocs
|
mypy
|
pre-commit
|
pydocstyle
|
pytest
|
pytest-lazy-fixture
|
ruff
|
tox
|
types-pyyaml
Downloads last day:
17
Downloads last week:
59
Downloads last month:
251