.gitignore
CONTRIBUTING.md
LICENSE.txt
README.md
download_benchmarks.sh
environment.yml
never2_batch.py
never2_launcher.py
pyproject.toml
.github/workflows/deploy-docs.yml
.github/workflows/python-publish.yml
.github/workflows/regression.yml
docs/Makefile
docs/conf.py
docs/index.rst
docs/requirements.txt
docs/template.py
docs/API/0_Networks.rst
docs/API/1_Nodes.rst
docs/API/2_Training.rst
docs/API/3_Conversion.rst
docs/API/4_Verification.rst
docs/Guide/usage.rst
docs/Setup/install.rst
docs/_static/logo.png
examples/notebooks/00 - Networks.ipynb
examples/notebooks/01 - Training.ipynb
examples/notebooks/02 - Safety specifications.ipynb
examples/notebooks/03 - Verification.ipynb
examples/pruning_example/pruning_example.py
examples/pruning_example/data/placeholder.txt
examples/submissions/2023_SoftComputing/soco_experiments_launcher.py
examples/submissions/2023_SoftComputing/logs/placeholder.txt
examples/test/README.md
examples/test/instances.csv
examples/test/test_nano.onnx
examples/test/test_nano.vnnlib
examples/test/test_small.onnx
examples/test/test_small.vnnlib
examples/test/test_tiny.onnx
examples/test/test_tiny.vnnlib
pyNeVer.egg-info/PKG-INFO
pyNeVer.egg-info/SOURCES.txt
pyNeVer.egg-info/dependency_links.txt
pyNeVer.egg-info/requires.txt
pyNeVer.egg-info/top_level.txt
pynever/__init__.py
pynever/datasets.py
pynever/exceptions.py
pynever/networks.py
pynever/nodes.py
pynever/utilities.py
pynever/config/__init__.py
pynever/config/configuration.ini
pynever/legacy/ReLU Over-approx.ipynb
pynever/legacy/Sigmoid Over-approx.ipynb
pynever/legacy/bidimensional_example_FC_ReLU.ipynb
pynever/legacy/bidimensional_example_FC_ReLU_Complete.ipynb
pynever/legacy/bidimensional_example_FC_ReLU_Overapprox.ipynb
pynever/legacy/bidimensional_example_with_sigmoid.ipynb
pynever/legacy/tensors.py
pynever/legacy/visualization.py
pynever/scripts/__init__.py
pynever/scripts/cli.py
pynever/strategies/__init__.py
pynever/strategies/pruning.py
pynever/strategies/training.py
pynever/strategies/abstraction/__init__.py
pynever/strategies/abstraction/linearfunctions.py
pynever/strategies/abstraction/networks.py
pynever/strategies/abstraction/nodes.py
pynever/strategies/abstraction/star.py
pynever/strategies/abstraction/bounds_propagation/__init__.py
pynever/strategies/abstraction/bounds_propagation/bounds.py
pynever/strategies/abstraction/bounds_propagation/manager.py
pynever/strategies/abstraction/bounds_propagation/util.py
pynever/strategies/abstraction/bounds_propagation/layers/__init__.py
pynever/strategies/abstraction/bounds_propagation/layers/affine.py
pynever/strategies/abstraction/bounds_propagation/layers/convolution.py
pynever/strategies/abstraction/bounds_propagation/layers/maxpool.py
pynever/strategies/abstraction/bounds_propagation/layers/relu.py
pynever/strategies/abstraction/bounds_propagation/test/__init__.py
pynever/strategies/abstraction/bounds_propagation/test/debugging_launcher.py
pynever/strategies/abstraction/bounds_propagation/test/generate test.ipynb
pynever/strategies/abstraction/bounds_propagation/test/generate_property.ipynb
pynever/strategies/abstraction/bounds_propagation/test/test/intermediate.vnnlib
pynever/strategies/conversion/__init__.py
pynever/strategies/conversion/representation.py
pynever/strategies/conversion/converters/__init__.py
pynever/strategies/conversion/converters/onnx.py
pynever/strategies/conversion/converters/pytorch.py
pynever/strategies/conversion/converters/pytorch_layers.py
pynever/strategies/parser/__init__.py
pynever/strategies/parser/expression.py
pynever/strategies/parser/tokenizer.py
pynever/strategies/parser/tree.py
pynever/strategies/parser/util.py
pynever/strategies/parser/visitor.py
pynever/strategies/parser/vnnlib.py
pynever/strategies/verification/__init__.py
pynever/strategies/verification/algorithms.py
pynever/strategies/verification/parameters.py
pynever/strategies/verification/properties.py
pynever/strategies/verification/statistics.py
pynever/strategies/verification/ssbp/__init__.py
pynever/strategies/verification/ssbp/constants.py
pynever/strategies/verification/ssbp/intersection.py
pynever/strategies/verification/ssbp/propagation.py
pynever/strategies/verification/ssbp/refinement.py
pynever/strategies/verification/ssbp/split.py
test/logs/placeholder.txt
test/regression/__init__.py
test/regression/run_regression_test.py
test/unittests/2d_prop.vnnlib
test/unittests/2d_propagation.py
test/unittests/__init__.py
test/unittests/parser_test.py
test/unittests/prop_3_complex.vnnlib
test/unittests/prop_cifar.vnnlib
test/unittests/topological.py
vnncomp_scripts/config.yaml
vnncomp_scripts/install_tool.sh
vnncomp_scripts/prepare_instance.sh
vnncomp_scripts/requirements.txt
vnncomp_scripts/run_instance.sh