PyPI page
Home page
Author:
The Marabou Development Team
License:
Marabou is copyright (C) 2017-2019 by its authors and contributors (see the file AUTHORS) and their institutional affiliations. All rights reserved. The source code of Marabou is open and available t...
Summary:
A package wrapping the Marabou Neural Network Verification tool.
Latest version:
2.0.0
Optional dependencies:
numpy
|
onnx
|
onnxruntime
|
pytest
|
pytest-cov
|
tensorflow
Downloads last day:
4
Downloads last week:
157
Downloads last month:
756