Wheelodex » Projects » pyNeVer

pyNeVer

View on PyPI — Reverse Dependencies (0)

0.1.2 pyNeVer-0.1.2-py3-none-any.whl

Wheel Details

Project: pyNeVer
Version: 0.1.2
Filename: pyNeVer-0.1.2-py3-none-any.whl
Download: [link]
Size: 69553
MD5: f542655a9b41eb6fa89927d4a92b662b
SHA256: 2a9c13a223788c52ab21c84ffe933f725769788104d13b33e99c1cf941f54166
Uploaded: 2024-01-08 09:50:56 +0000

dist-info

METADATA · WHEEL · RECORD · top_level.txt

METADATA

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

WHEEL

Wheel-Version: 1.0
Generator: bdist_wheel (0.42.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=PxvBPCy6ekpJLB81dS4RlloAhXQBu2XUJpCRVMAS38w 7880
pynever/networks.py sha256=6aRSZBVukhZ2oZxxPb4a37HrlX27_hKd72JSFLK21E0 8034
pynever/nodes.py sha256=vwPX9teQjC-qhGm7smfjGqixU2cz4GSjgtMW-Nmoae4 32563
pynever/pytorch_layers.py sha256=TyleuegulA7F-R5JxeKCaShFjpmZgeN5HJVIoMRZ0Ms 20153
pynever/tensor.py sha256=UL-MO_Tz5yggmptJ_cjM3cucryH92Bh0_n25F91R5hk 180
pynever/utilities.py sha256=RrmeKQdU0BR_h3qj7AbS30vLRthCNNqBOa_peTza5S4 23260
pynever/scripts/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
pynever/scripts/cli.py sha256=p-e5s_CfzJ2TDQI-kcNBwWSwtZhHpxsQsX4Ueo8h31w 9850
pynever/strategies/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
pynever/strategies/abstraction.py sha256=IgypEWDpBgQGAxlA7T2TYNXNPGwBuVZloHreLWP8j9c 52836
pynever/strategies/conversion.py sha256=bImNV_aITdYZzojhEem3JV8w1U4dP4qTSGeTo6h0R-0 61045
pynever/strategies/pruning.py sha256=1-trpOapwsnLItzXlGVmqWkgzFO6AIn8KefYUec9-Lw 22987
pynever/strategies/smt_reading.py sha256=WNov68g97zi-tks4QTbFM1VdIAr9VOjgT3cYlrRo1k8 21976
pynever/strategies/training.py sha256=RtS5Po8eqUHA8xx8sjsdyv8-mvSh9fheWvbE3gH09S0 19992
pynever/strategies/verification.py sha256=khoS9h0VN9DDSSGNCYtn4IcTVyM5BhwsAOi8vQEgGUs 31252
pynever/strategies/bp/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
pynever/strategies/bp/bounds.py sha256=n1ItU3nCbC9lm07Ngt0bw3NxMHdPCoRhiNKgMjSbuw8 1758
pynever/strategies/bp/bounds_manager.py sha256=EmIbLOy9n7P0t_JGnWm0bbFgrmPCCpufpGRMfPshGnc 6669
pynever/strategies/bp/linearfunctions.py sha256=Yttio5vZXYEW5Z2-t_GhB2AunU5acvJpkONmyrP1PrU 3051
pynever/strategies/bp/utils/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
pynever/strategies/bp/utils/property_converter.py sha256=0HZlwdhQXCs3J87DCeYBYBApDsSNZpmlN2FbgG6YJGE 2688
pynever/strategies/bp/utils/utils.py sha256=p_5NQHiLMe76rw-U9tZ1QYCdOm3zgM-IYCq82x1j7uQ 1010
pynever/tests/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
pynever/tests/conversion_test.py sha256=SZAYa5kYWwmtNWaXoqNq-iNSV-JGJ5_85A9zS7YZqjs 13166
pynever/tests/regtest.py sha256=uBH6dqJkWDIb3gj9d9zIqVd9MY6CZOkSMp5Ru5BRGb4 854
pyNeVer-0.1.2.dist-info/LICENSE.txt sha256=jhhyng9n5akRyla-u0vOpW3-X5TQbIrZ08CrpBPOf-o 981
pyNeVer-0.1.2.dist-info/METADATA sha256=8y5vf4GLLCwQLo699fvm7TopMGfn-I5UVHc3xOvPE8k 4906
pyNeVer-0.1.2.dist-info/WHEEL sha256=oiQVh_5PnQM0E3gPdiz09WCNmwiHDMaGer_elqB3coM 92
pyNeVer-0.1.2.dist-info/top_level.txt sha256=8agi5w0A6Ikmcw_SJxf60Qx78EODz9e1r1qBUAm3Ffg 8
pyNeVer-0.1.2.dist-info/RECORD — —

top_level.txt

pynever