Wheelodex » Projects » auto-verify

auto-verify

View on PyPI — Reverse Dependencies (0)

0.1.3 auto_verify-0.1.3-py3-none-any.whl

Wheel Details

Project: auto-verify
Version: 0.1.3
Filename: auto_verify-0.1.3-py3-none-any.whl
Download: [link]
Size: 83284
MD5: 39c105f91c379da3661e2aac585e9c6d
SHA256: 2bee80b298536c7e513be6ae3cf0ad7f083caf3d32d855903be80ca42796602a
Uploaded: 2023-12-06 14:24:35 +0000

dist-info

METADATA · WHEEL · RECORD · top_level.txt · entry_points.txt

METADATA

Metadata-Version: 2.1
Name: auto-verify
Version: 0.1.3
Summary: Efficient portfolio-based verification of neural network properties
Author: Corné Spek
License: BSD 3-Clause License Copyright (c) ADA Research Group 2022-2023 All rights reserved. Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met: * Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer. * Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution. * Neither the name of the copyright holder nor the names of its contributors may be used to endorse or promote products derived from this software without specific prior written permission. THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
Keywords: auto-verify,Neural networks,Robustness
Classifier: Operating System :: Unix
Classifier: Programming Language :: Python :: 3.10
Requires-Python: >=3.10
Requires-Dist: SMAC (==2.0.2)
Requires-Dist: result (==0.9.0)
Requires-Dist: xdg-base-dirs (==6.0.0)
Requires-Dist: onnxruntime (==1.14.1)
Requires-Dist: pandas (==2.0.1)
Requires-Dist: numpy (==1.24.3)
Requires-Dist: onnx (==1.14.0)
Requires-Dist: swig (==4.1.1.post1)
Requires-Dist: black; extra == "dev"
Requires-Dist: isort; extra == "dev"
Requires-Dist: tox; extra == "dev"
Requires-Dist: pytest; extra == "dev"
Requires-Dist: pre-commit; extra == "dev"
Requires-Dist: flake8; extra == "dev"
Requires-Dist: mypy; extra == "dev"
Requires-Dist: bumpver; extra == "dev"
Requires-Dist: coverage; extra == "dev"
Requires-Dist: mkdocs; extra == "dev"
Requires-Dist: pydocstyle; extra == "dev"
Requires-Dist: types-PyYAML; extra == "dev"
Requires-Dist: pytest-lazy-fixture; extra == "dev"
Provides-Extra: dev
Description-Content-Type: text/markdown
License-File: LICENSE
[Description omitted; length: 261 characters]

WHEEL

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

RECORD

Path Digest Size
autoverify/__init__.py sha256=p8FaCo_Z5ArN4GWuEbc4AiTi6zD8pCyjECfFWv7C-6A 158
autoverify/types.py sha256=U6tPYt-wMY9fQTq_q2pmwp_pTZhVuvyZvVyuPnsexW4 422
autoverify/cli/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
autoverify/cli/__main__.py sha256=-ohad7uq1jxyTyeWsfcv9I6LfTcB_AJeGKcqlFiNSh0 117
autoverify/cli/main.py sha256=vmBHwqL2v2tNeD1OQynvN-hbQETdYXqbYvcM8lN8VuQ 1987
autoverify/cli/install/__init__.py sha256=Af_HaxlTsjD0rM_RCs0ezrWdLbis83hLPfDuC_DQUgg 314
autoverify/cli/install/install.py sha256=6xGOi2mvRpAKi50W9fo4ziqT664vqJydrRxGMF1K1Xs 4692
autoverify/cli/install/installers/__init__.py sha256=7DZTpEufw3G62JHlAaZslmT9h9pGOyPxNaUI-bj4qOk 1050
autoverify/cli/install/installers/abcrown/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
autoverify/cli/install/installers/abcrown/environment.yml sha256=pVH4ebVgE7vBuy-_xcR6f6oHT4Jo27mpm5xh9XCGmu8 6294
autoverify/cli/install/installers/abcrown/install.py sha256=ckej5kRl3sqp2KBT_NZWssXHBHxRDaUK7m6jL8wRftA 682
autoverify/cli/install/installers/mnbab/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
autoverify/cli/install/installers/mnbab/environment.yml sha256=G_7tQd-3gtUMglVVYjeYcaKEimBPrHljA_he2Eqtg5g 3378
autoverify/cli/install/installers/mnbab/install.py sha256=sfMdJwvTPL-9eHR4XuKVaQRVUpbs1F2s_84eZrJraeM 1822
autoverify/cli/install/installers/nnenum/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
autoverify/cli/install/installers/nnenum/environment.yml sha256=RWgtvGq_azwl_4GdyOXGtoihBkZIxjMCTxINuHms0UU 1240
autoverify/cli/install/installers/nnenum/install.py sha256=2YTKWbK_76pMvXw4Uj3dIn5dVq2eGhs4oJ_W-orMRBk 662
autoverify/cli/install/installers/ovalbab/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
autoverify/cli/install/installers/ovalbab/environment.yml sha256=RNabBKjzeUxyOuHp0xJ929T0I0O6O6xkMIPUHxbs0LA 2912
autoverify/cli/install/installers/ovalbab/install.py sha256=8a5H1dPaIWy59qYsnzGoIIvxWEQhRfvAxu9WuLxPjLw 1028
autoverify/cli/install/installers/verinet/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
autoverify/cli/install/installers/verinet/environment.yml sha256=jb8AFrpoMmLWUWs3Gvg2rkPhLjnL2QNT9zsk8rN4Rw0 2986
autoverify/cli/install/installers/verinet/install.py sha256=VKNGDacsOj9zRUkt6cOvNVnsh8Jd0cjL9FiwuHvlWfk 660
autoverify/cli/util/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
autoverify/cli/util/git.py sha256=fwTUv50iUDMlscp5GwONJRXPBNwIrRxJs5R1LciNpbM 2248
autoverify/portfolio/__init__.py sha256=S3nibG_xl7j6jS4BtqRY4c7lwYdBdK0xpJYzvAQB9Dk 262
autoverify/portfolio/portfolio.py sha256=G9GU5FZGHF1AdaUXPhQmImIrhCfTPOU8PgP2joZKJPs 11749
autoverify/portfolio/portfolio_runner.py sha256=QqSTWtpfAmKUsIUtDM2Ke75yjMKMUXNq17TIGP8NGzg 13831
autoverify/portfolio/hydra/__init__.py sha256=dEPfYtscVVxaRZjKHdSFQO6tVB38ldpI6hMhKQis1Mc 46
autoverify/portfolio/hydra/cost_matrix.py sha256=CTeoNzzkzt4UAAU_6zSWBMb8-8_SgQ41-MZ0rcQ3Yfk 4756
autoverify/portfolio/hydra/hydra.py sha256=z_7zdgTq884K0UfbC0yb8jwMXF1nso6VGzA3z-oGrwI 13270
autoverify/tune/__init__.py sha256=8I-iilU0YM9ctE_twUTjMiNFRiPmh43eYQuJd5Tifl4 87
autoverify/tune/tune_hydra.py sha256=M5xTz5kmnkBc5iYvPWOBA1NFApUg4CJQ3TLxvrkxm8Q 1310
autoverify/tune/tune_verifier.py sha256=njiepRJOJMRTT2X4MWuGTurwYjU9f0RPlT9N6ebq0Us 3842
autoverify/util/__init__.py sha256=MIdu3MtVzgVvHX6FfFCyFT_1ZEnQOb2Ni9SudjazgOc 1868
autoverify/util/cli.py sha256=O7FoxIM5F7oWtpCULO1F46uLiz6Vg5yrElVVxYHYT5A 554
autoverify/util/conda.py sha256=WtfhQQ4jvuKnPKuUu8WcJW3sYvUWxUJRyNY5usHCzzk 4808
autoverify/util/configs.py sha256=QQ_ewf4kUdtQfAC2aA13W8U0S7y5GXxywnsmdHEM9LU 1161
autoverify/util/cost_dict.py sha256=i8TndKN-cnofaB_VZ9CBzSXRMzR48oHkYaL1tTY2WD4 1227
autoverify/util/dataclass.py sha256=HmZCnjOlBm56ayK9v826fxanMhqO7a1CuJYQqgmfUvw 557
autoverify/util/dict.py sha256=-nIRyaU8HUIs1vchvp69-Honw2qBQCEnd8LXIcPl_-k 682
autoverify/util/env.py sha256=kCJjTpsJmlXhILfsatnZ2tTEL5CDTmuIuSswZ91cTLQ 2436
autoverify/util/instances.py sha256=YJZ2K3FmUmIUpd4F3ZR-liMDYux1VSGL_eZoDCexTQM 8158
autoverify/util/loggers.py sha256=1q8vK9D9Rv4CvuOEeb3x3BtAK1RXq4xeNoHBNmimEbA 777
autoverify/util/onnx.py sha256=0qZNYgsZNGVp-gzuKSC4kLpgOY0OmtqtHX3hRKJkXp8 1047
autoverify/util/path.py sha256=xHKPcSetQddz3E_TbS1LvJc3SpiSCZ_6EMOX1l4eWMs 675
autoverify/util/proc.py sha256=0p5ggQohVrD_i9T-iuYGsM0QY3t6IvOunjiap1VE1S8 2275
autoverify/util/resource_strategy.py sha256=4R-siMQGcDyEthRjeN0lDNZq-YoX4kxud2ez7O_8Etc 781
autoverify/util/resources.py sha256=hskITsX6Kfemau0RCvckzOVijmDfUozraiL9e3Eoz74 3496
autoverify/util/smac.py sha256=in1rp6FJhPudWDtcktm0CypdTTRoy8US77amuyfPfhc 2769
autoverify/util/target_function.py sha256=Kq9oUKr4jMQhF6aR-O7V8PkeqhAYaSZDWNq4-ylvf2E 3563
autoverify/util/tempfiles.py sha256=h4-hRyHG9yJ8YEpcRvIye1TifOaDVNPhYEJwakuPXOA 1617
autoverify/util/verification_instance.py sha256=_HBCmSUHBbkem75WVxowIvyQ1PwD3Jy0lDs-9szrFk4 2691
autoverify/util/verifiers.py sha256=9jDnIpcKRaZgUb300jxmUIOIB-rB0e_XFtfPr96OmyQ 1714
autoverify/util/vnncomp.py sha256=ddtFG3iNZFEP75Rc0YSLgHfzKqfFbKXN0LG_CLQbaAU 6428
autoverify/util/vnncomp_filters.py sha256=tiJTSRTMNJFEBV75XNDSPVhDHBTgIxugnfisyWv6S0c 617
autoverify/verifier/__init__.py sha256=AupmOtylVWXyf3msn8F3BXX4Ti2GUI4A9M6gGNwqjp8 150
autoverify/verifier/verification_result.py sha256=z2e_T0tnaRpH4j4z4JUrG2tb2oUOFmqrcJSkdieAM2c 840
autoverify/verifier/verifier.py sha256=FlUkLQIwBFKbOYrK6r2xxW8I5RyN8ICGDryD3fn3Prw 11740
autoverify/verifier/complete/__init__.py sha256=ERYjaXKrJlWFixRJaXs3ede9B3N_dVUpDKhjH-zLPRM 226
autoverify/verifier/complete/abcrown/__init__.py sha256=gaK3dm3hQ_abaPvJY4DSwjDYfDfhY9khcY8IdikTgrU 130
autoverify/verifier/complete/abcrown/abcrown_yaml_config.py sha256=42rqTSxi9oSs8eDfCzqQTo8CNF0g41gG3s8xOrnr6Lg 2780
autoverify/verifier/complete/abcrown/configspace.py sha256=xFLJ5oEhzqCf1Hks8AylMeJoal_E4n1MX7nv2uYJRe8 14136
autoverify/verifier/complete/abcrown/verifier.py sha256=SxXMqztrMlIIhTpRmYlzf4zqIEmEEXioIQysFw60Bv0 4305
autoverify/verifier/complete/mnbab/__init__.py sha256=qTyR0A8st7CesKndtPcgFbJXQAWfd4AkzU0kduXuw3g 122
autoverify/verifier/complete/mnbab/configspace.py sha256=QzyXvBjM9O1EToJwDq1f1UlMQ1WUe8yIipK-zLU0AEI 7893
autoverify/verifier/complete/mnbab/mnbab_json.py sha256=EXYPXwDif9OLMIKLbpJvLv0aAii_ypDNF2gas3eN2Fw 3281
autoverify/verifier/complete/mnbab/verifier.py sha256=DdtpZpJBsGHftG6cR2jnFky5esgWuELTxmWxhWRnGS8 3101
autoverify/verifier/complete/nnenum/__init__.py sha256=S754Ix4Dm-OxuX7KxP9gUHaaZRKDnZABA_UOnjyU3ds 126
autoverify/verifier/complete/nnenum/configspace.py sha256=MUGehKrPLmbI6IWIhXE8zrPxPaBroqAYXh5L_mwoLDo 4156
autoverify/verifier/complete/nnenum/verifier.py sha256=3W2umf2C1zWZmxSGoQAdC8wNDmNhKTEVl1Rp-9V72xg 5181
autoverify/verifier/complete/ovalbab/__init__.py sha256=DaMz-kWLpCSi80opBthoiYn7KtzORI4wfsBnrSMkFfI 130
autoverify/verifier/complete/ovalbab/configspace.py sha256=q2ElnihbJS78KfK2PWzZO4x98r1lPbeHGMT_M8rhNNY 6613
autoverify/verifier/complete/ovalbab/ovalbab_json_config.py sha256=ckEyJ_OrVRoIoh8752PDxj5XzgmrFWaePUM3CSQWp10 2298
autoverify/verifier/complete/ovalbab/verifier.py sha256=ijjDifbVa7_PMXc567CQkdFy5J0Vs9qzCWnWQqJt0hQ 3707
autoverify/verifier/complete/verinet/__init__.py sha256=N6zQ-yebSGFM59ArlyJZA5Lqd65Zgyi8r1DVZlpQMp8 130
autoverify/verifier/complete/verinet/configspace.py sha256=fDFAUnKaKiyOGjfJlM14JXQ3ENVMicvrH226WGluis0 3322
autoverify/verifier/complete/verinet/verifier.py sha256=KyYpuf44Mipls1aTRNTAcnja_fsbsLwk122QDSDxnoU 4047
autoverify/verifier/incomplete/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
autoverify/verify/__init__.py sha256=jQa9qIYYxYiyHYTPgpnF5ghvZR7k440khXJvjyHjsOc 70
autoverify/verify/eval_verifier.py sha256=atw9firq2sHlvshP_SQregVVgA85_FS3iFr5XcRI_D0 7576
auto_verify-0.1.3.dist-info/LICENSE sha256=XBZo-pDw4y7Q-J22FuXay5m0QouBTVMQnVXL0dSlgx8 1522
auto_verify-0.1.3.dist-info/METADATA sha256=hCmAJ1T8rTpBbLE9q71eqbTlx0z5vj3427b3_zRs-as 3205
auto_verify-0.1.3.dist-info/WHEEL sha256=oiQVh_5PnQM0E3gPdiz09WCNmwiHDMaGer_elqB3coM 92
auto_verify-0.1.3.dist-info/entry_points.txt sha256=ZmUjEfsfG6Dwp0kPjD6xWDLiOlC5lJ43jbXXUzD61VM 57
auto_verify-0.1.3.dist-info/top_level.txt sha256=JuflQTPNm1lx78s7l5ZR4_Uuq5evYgC3lI7mvAc1IfY 11
auto_verify-0.1.3.dist-info/RECORD — —

top_level.txt

autoverify

entry_points.txt

[console_scripts]
auto-verify = autoverify.cli.main:main