Wheelodex » Projects » maraboupy-neuralnetworkverification

maraboupy-neuralnetworkverification

View on PyPI — Reverse Dependencies (0)

0.0.0 maraboupy_NeuralNetworkVerification-0.0.0-py2.py3-none-any.whl

Wheel Details

Project: maraboupy-neuralnetworkverification
Version: 0.0.0
Filename: maraboupy_NeuralNetworkVerification-0.0.0-py2.py3-none-any.whl
Download: [link]
Size: 72729
MD5: 09d1991e39a203114ff6b9d804fecb4c
SHA256: 107c89a25dccbe8cf3777cad8e8c6097450ca2110f40a6079fbe9e4641d71f92
Uploaded: 2021-02-21 16:35:40 +0000

dist-info

METADATA · WHEEL · RECORD · top_level.txt

METADATA

Metadata-Version: 2.1
Name: maraboupy-NeuralNetworkVerification
Version: 0.0.0
Summary: Marabou Neural Network Verification Framework Python Interface
Author: Marabou
Home-Page: https://github.com/NeuralNetworkVerification/Marabou
Keywords: neural network,formal verification
Classifier: License :: OSI Approved :: BSD License
Classifier: Programming Language :: Python :: 3
Classifier: Operating System :: MacOS
Classifier: Operating System :: POSIX :: Linux
Requires-Python: >=3.5
Requires-Dist: pybind11 (>=2.3.0)
Description-Content-Type: text/markdown
[Description omitted; length: 12814 characters]

WHEEL

Wheel-Version: 1.0
Generator: bdist_wheel (0.35.1)
Root-Is-Purelib: true
Tag: py2-none-any
Tag: py3-none-any

RECORD

Path Digest Size
maraboupy/Marabou.py sha256=UoyGvqv37XK26DX4FyS27RLJCqbUQ4HcruifWsqDzc0 8107
maraboupy/MarabouNetwork.py sha256=8Vo83dgkpg9tGJtqBcEiUlFDrfN889zQ7wM0ujKBpCo 13282
maraboupy/MarabouNetworkNNet.py sha256=9rnhxhJh4MC14KGyLh3zo_uJfkc5k4hKZbnlJTdNAAA 26858
maraboupy/MarabouNetworkONNX.py sha256=k0aBVE6poCIGTTAXfpN17VWl0PIEO12rT1XxrEXcYDI 39854
maraboupy/MarabouNetworkTF.py sha256=00jnvl6RhKIpzHPrw4CWd_6D5YoEdwpMxf6HiQT2-sw 41737
maraboupy/MarabouUtils.py sha256=fYD_34hjXp4CBrOpCX19e6DnmOyOuaS-9O-37g9X_wo 1499
maraboupy/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
maraboupy/test/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
maraboupy/test/test_core.py sha256=C5SxfGjjtVqRUyfeexqAywHWm64Ck5dzrlh2AjXepto 3105
maraboupy/test/test_dnc.py sha256=AkkZIflQz0w0hlt33HiL9e8hvQdpWiHU69cizSlov_E 3906
maraboupy/test/test_equation.py sha256=kQz-mcRoYnv8YHEiboE7QOk0Vpe2dnDzbm9iUBmOciQ 5044
maraboupy/test/test_network.py sha256=jk11v1t4cXPLQFyOH6X4RZ4x8yyGHfwJRhJQRpcyRng 3388
maraboupy/test/test_nnet.py sha256=otXtQNBGxsUJ9_tmcRFOfsIrq_hWefzYli5rMxMgQhM 7296
maraboupy/test/test_nnet_extensions.py sha256=kkDvkE3A0o3FBCd8M4Pqfb0gVGb3mdiGXyHVRxypVCk 11085
maraboupy/test/test_onnx.py sha256=uchB6wk7WfbXm6anfRywRIz3uHxw048JeE6z0gx7Dc0 10351
maraboupy/test/test_query.py sha256=35mFyQ-04S3JJmURrRcoiGw7FAl67uVL7-Q7_upkkh4 6068
maraboupy/test/test_tf.py sha256=IuMm2DVJXN3ny4uEhpdEZyfSkOtBbzIVC487rUSDF_U 11083
test/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
test/test_core.py sha256=C5SxfGjjtVqRUyfeexqAywHWm64Ck5dzrlh2AjXepto 3105
test/test_dnc.py sha256=AkkZIflQz0w0hlt33HiL9e8hvQdpWiHU69cizSlov_E 3906
test/test_equation.py sha256=kQz-mcRoYnv8YHEiboE7QOk0Vpe2dnDzbm9iUBmOciQ 5044
test/test_network.py sha256=jk11v1t4cXPLQFyOH6X4RZ4x8yyGHfwJRhJQRpcyRng 3388
test/test_nnet.py sha256=otXtQNBGxsUJ9_tmcRFOfsIrq_hWefzYli5rMxMgQhM 7296
test/test_nnet_extensions.py sha256=kkDvkE3A0o3FBCd8M4Pqfb0gVGb3mdiGXyHVRxypVCk 11085
test/test_onnx.py sha256=uchB6wk7WfbXm6anfRywRIz3uHxw048JeE6z0gx7Dc0 10351
test/test_query.py sha256=35mFyQ-04S3JJmURrRcoiGw7FAl67uVL7-Q7_upkkh4 6068
test/test_tf.py sha256=IuMm2DVJXN3ny4uEhpdEZyfSkOtBbzIVC487rUSDF_U 11083
maraboupy_NeuralNetworkVerification-0.0.0.dist-info/COPYING sha256=P_Glw3vAKNMSx8__3eZuOfZ4dUwHWNcM2uAcdroVm7M 2541
maraboupy_NeuralNetworkVerification-0.0.0.dist-info/METADATA sha256=W5Be4GIYcFnLlamhAZwWGh5PeXttHgKsA4yhVMuXbv4 13410
maraboupy_NeuralNetworkVerification-0.0.0.dist-info/WHEEL sha256=ADKeyaGyKF5DwBNE0sRE5pvW-bSkFMJfBuhzZ3rceP4 110
maraboupy_NeuralNetworkVerification-0.0.0.dist-info/top_level.txt sha256=0VHrys9GfvOX5iDNHjYR-jNANSaLn8JOt3UiSCbk-6U 10
maraboupy_NeuralNetworkVerification-0.0.0.dist-info/RECORD — —

top_level.txt

maraboupy