Wheelodex » Projects » pyNeVer » pyNeVer-1.0.1-py3-none-any.whl

pyNeVer

View on PyPI — Reverse Dependencies (1)

1.0.1 pyNeVer-1.0.1-py3-none-any.whl

Wheel Details

Project: pyNeVer
Version: 1.0.1
Filename: pyNeVer-1.0.1-py3-none-any.whl
Download: [link]
Size: 106590
MD5: 302988ce5528ac45310d4bd1205d854a
SHA256: b19c100d9690878b15570cd18dd0b25a9997d30721cab25181aca4c1bb680f1b
Uploaded: 2024-10-10 09:01:05 +0000

dist-info

METADATA · WHEEL · RECORD · top_level.txt

METADATA

Metadata-Version: 2.1
Name: pyNeVer
Version: 1.0.1
Summary: Package for the design, training, pruning and verification of neural networks.
Author: Dario Guidotti, Stefano Demarchi, Elena Botoeva
Author-Email: dguidotti[at]uniss.it, stefano.demarchi[at]edu.unige.it, e.botoeva[at]kent.ac.uk
Home-Page: https://github.com/NeVerTools/pyNeVer
License: GNU General Public License with Commons Clause License Condition v1.0
Classifier: Programming Language :: Python :: 3.11
Classifier: Development Status :: 4 - Beta
Classifier: Topic :: Scientific/Engineering :: Artificial Intelligence
Classifier: Operating System :: OS Independent
Requires-Python: >=3.11
Requires-Dist: numpy
Requires-Dist: onnx
Requires-Dist: torch
Requires-Dist: torchvision
Requires-Dist: ortools
Requires-Dist: pysmt
Requires-Dist: multipledispatch
Description-Content-Type: text/markdown
License-File: LICENSE.txt
[Description omitted; length: 5534 characters]

WHEEL

Wheel-Version: 1.0
Generator: setuptools (75.1.0)
Root-Is-Purelib: true
Tag: py3-none-any

RECORD

Path Digest Size
pynever/__init__.py sha256=NSW1RJ2O79mmeByrTraPom5I_R-Y99O3czvaLyEmnbY 52
pynever/datasets.py sha256=LEdBjOjCLiVCO5ctywsJI9-CRLWCcEeQSZOu2H1POSM 7853
pynever/exceptions.py sha256=jUzhJVEJvQnlj_i_XiYutzaVO-rYEZ29qntnlPixzEI 1264
pynever/networks.py sha256=g9OzjO1yXKw-q3CnmDeHAnGgDxLFCv_h4fog2RKPkmo 20053
pynever/nodes.py sha256=3L-5u2_AlDFqI90mnwE8RZJEKsERXPYuRr8kj3V4T-8 38436
pynever/tensors.py sha256=VIASShvowlUSmL0enr_ldUiFPcbqKw6pXk0UcjKRV98 17137
pynever/utilities.py sha256=zoxXzA9KtJpUKbataJVyjRHhTPOeBuDZwXczgB98wq4 4643
pynever/scripts/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
pynever/scripts/cli.py sha256=GTuueqZRetGaOvTEHUk8u4K2BaXYbhdJ0O0DrKvke-Q 14345
pynever/strategies/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
pynever/strategies/pruning.py sha256=A5OhJyC2bj4hbELhenF-pNy1MkDIvb6lHrDyV09sRGw 22415
pynever/strategies/smt_reading.py sha256=TPyouvj7U2ElL0yQmUsmyjNLqDEuNc6YFP-5FYJsG-Q 22836
pynever/strategies/training.py sha256=j1jHCJf_HiVXgEYLslHEBIe8lqXuG9SiDOg6OGc3XwY 19847
pynever/strategies/abstraction/__init__.py sha256=WNlVgcQ8VeDPApmetBPPfAlmnFbS_XdF392kToqhWds 388
pynever/strategies/abstraction/networks.py sha256=hCOMOe68g9zD71CbvwaCaSTAUuSMsR3lNS4yGH4w-y0 10965
pynever/strategies/abstraction/nodes.py sha256=_X5XWHhBHUUbVUpviEHhfCgI5bqIqB6_TPcF1MiNEzw 36582
pynever/strategies/abstraction/star.py sha256=fkV03o2KrMsP7CB-sBeo007wVBau8vut9Gnv75zpRTI 31822
pynever/strategies/bounds_propagation/__init__.py sha256=P05Kw4YBOGP5Jyemjs0CBOUOeuwv9J7ZrG2WuLx-dGI 91
pynever/strategies/bounds_propagation/bounds.py sha256=BB60UiuyAlPNQs7iCs6p7WTZ3wNram22nUhlZ5EXPfE 3879
pynever/strategies/bounds_propagation/bounds_manager.py sha256=cRSWm-OUC_Jx5FTv_gIGbhcGX8PaYi8Hk98Ok-MV8YY 16373
pynever/strategies/bounds_propagation/convolution.py sha256=-7kJqKI2ehanH2PsdVta1vF4aknMx3aG8pDZmCnmMiE 10896
pynever/strategies/bounds_propagation/linearfunctions.py sha256=cKAwXl64iXjd-okglGUDK83nS30DadNc2VzOCy50xlc 2228
pynever/strategies/bounds_propagation/refinement.py sha256=u9EvJ7xq692tuh_Ob1iRXE_hBgOYXNUx4887zhZPgh0 30990
pynever/strategies/bounds_propagation/relu.py sha256=MaBnboVwoFsOnQvAFA7vddHEaZ0NKwjcK2gMV1A-Y_k 11967
pynever/strategies/bounds_propagation/utility/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
pynever/strategies/bounds_propagation/utility/functions.py sha256=o-x4AQ_12egp7PB8J5sQt1SZjMBY_Z2XAyaZdZelM40 2731
pynever/strategies/bounds_propagation/utility/property_converter.py sha256=A9ojl6lkHSOWLZ6oTrOvHrqfMDG-VGFgNlu0bHJ0elk 2499
pynever/strategies/conversion/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
pynever/strategies/conversion/representation.py sha256=bWKrQUjzIMD-c9A0k489lP13zAMd83SsKQMu7hnQvyU 4581
pynever/strategies/conversion/converters/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
pynever/strategies/conversion/converters/onnx.py sha256=bwmFG3ACu6SDXI2ej1v72qQjVbYe_v8CIMh4M5sYrGM 35308
pynever/strategies/conversion/converters/pytorch.py sha256=CZwckJ5OMhOOW9kldOTbgPOBYeya-GHYwVqiLZdTFsM 20300
pynever/strategies/conversion/converters/pytorch_layers.py sha256=tig7ugWAk2EAiCqBbQCeLQcdJuHwD3Yao359kNNkdNc 20230
pynever/strategies/verification/__init__.py sha256=XwQz31XefmeF0t0hc433etIqSg3TOWdsaq9Hd9A_zC4 91
pynever/strategies/verification/algorithms.py sha256=BIXKo-DMZCEhQIjpkW5on96cf6aHKMwUY_LX5gWrAaQ 16103
pynever/strategies/verification/parameters.py sha256=JPO1k8AvUZlK4EEMkGLUvUTGQdBtLFETANWFOLerzyo 1634
pynever/strategies/verification/properties.py sha256=HaFh2xIlA9Jkw65YkiMqFwPtahiPSdGs5teELw_Wf-I 7344
pynever/strategies/verification/ssbp/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
pynever/strategies/verification/ssbp/constants.py sha256=SI-TP9WA4UuWfs1DUfbO1Y6gzA0Q-oHNYyrn4sXWqps 2502
pynever/strategies/verification/ssbp/intersection.py sha256=MwU4NceRHlDHrzBqBzO8ZTfJi6I-6zatVYNiW32zJrs 21843
pynever/strategies/verification/ssbp/propagation.py sha256=86hTkES8277QCz1WkZCeu2nCGgVB-E-pmg5b_JQ-IgQ 8178
pynever/strategies/verification/ssbp/split.py sha256=zUA0i9mX1B516mPu9awYd9-fxZfD1r1DNeXWXcBZm1c 14858
pyNeVer-1.0.1.dist-info/LICENSE.txt sha256=jhhyng9n5akRyla-u0vOpW3-X5TQbIrZ08CrpBPOf-o 981
pyNeVer-1.0.1.dist-info/METADATA sha256=Agvv9MI6YOj463pcsvPngXNZ5FZi0ECUqF_U_DGQPg4 6412
pyNeVer-1.0.1.dist-info/WHEEL sha256=GV9aMThwP_4oNCtvEC2ec3qUYutgWeAzklro_0m4WJQ 91
pyNeVer-1.0.1.dist-info/top_level.txt sha256=8agi5w0A6Ikmcw_SJxf60Qx78EODz9e1r1qBUAm3Ffg 8
pyNeVer-1.0.1.dist-info/RECORD — —

top_level.txt

pynever