Wheelodex » Projects » reinfier

reinfier

View on PyPI — Reverse Dependencies (0)

0.5.3 reinfier-0.5.3-py3-none-any.whl

Wheel Details

Project: reinfier
Version: 0.5.3
Filename: reinfier-0.5.3-py3-none-any.whl
Download: [link]
Size: 52997
MD5: 03e54282a5a04ee8a46bf1e4cb795d40
SHA256: 1cd7f9b325616f31774ee5725d0b7da2e8b1c431cb7bb16d4847362f01d785a3
Uploaded: 2024-05-22 22:17:34 +0000

dist-info

METADATA · WHEEL · RECORD

METADATA

Metadata-Version: 2.1
Name: reinfier
Version: 0.5.3
Summary: Reinfier - A verification framework for deep reinforcement learning
Author-Email: Kurayuri <Kurayuri[at]outlook.com>
Project-Url: Home, https://github.com/Kurayuri/Reinfier
Keywords: DRL,DNN,verification,interpretation
Classifier: License :: OSI Approved :: MIT License
Requires-Python: >=3.10
Requires-Dist: onnxruntime (>=1.17.0)
Requires-Dist: onnx (>=1.16.0)
Requires-Dist: astpretty (>=2.1.0)
Requires-Dist: astor (>=0.8.1)
Requires-Dist: yapf (>=0.32.0)
Requires-Dist: scipy (>=1.10.1)
Requires-Dist: torch (>=2.1.0)
Requires-Dist: docker (>=6.1.3)
Requires-Dist: pyyaml (>=6.0.1)
Requires-Dist: pytest (>=7.4.3)
Requires-Dist: onnx2torch (>=1.5.13)
Description-Content-Type: text/markdown
[Description omitted; length: 5952 characters]

WHEEL

Wheel-Version: 1.0
Generator: flit 3.9.0
Root-Is-Purelib: true
Tag: py3-none-any

RECORD

Path Digest Size
reinfier/CONST.py sha256=o2t9PRkY7EyndohdA03AE2jZEilR2tB-KWZ9-BPOW_s 760
reinfier/Protocal.py sha256=aPL6NG1IIvlMbSHatkqKpEBOBBDTU9zzgnXWj18_hK0 1486
reinfier/Setting.py sha256=QLV-kVRfJX--unIiwEWin2Sn0Ymoico2aa7uf5WDtpo 769
reinfier/__init__.py sha256=mntnlobZqyz-ewneNFlsEwDrkW6qkO8MuhfWZGHLtzs 440
reinfier/algo/__init__.py sha256=qbpE49h8WZ2yLJtU2O7rk9t2VZC_cc2V3wNUzxORPmQ 69
reinfier/algo/lib.py sha256=5ixTJUs-RP_uPKh5YTSkbR_tfK8MN28LOjL_ApW38qQ 918
reinfier/algo/multi.py sha256=Od_Sdkyoujcb5XlI4ARTk9LemKUZCSV67-sy5RKqv94 11175
reinfier/algo/selector.py sha256=iEG2ROLVg4RnbBXbwkOoUOcn2fuvEnWlaLzexXCp4tE 2880
reinfier/algo/single.py sha256=zjp6T23r7GK_Rfb6Bv4zzP58zB1WF7TWLjAeYEbJW7A 3140
reinfier/algo/tests/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
reinfier/algo/tests/test_single.py sha256=iRKp-vKLanjpNDvd4nKj1NY2vU4M8q0CBooCFK17Rrs 218
reinfier/common/DNNP.py sha256=BPQ9RdLDyd3YAX2_p1m6yd3tC2oZrJ25W1v9uHHS8oY 774
reinfier/common/DRLP.py sha256=8Up10gTfAXWHFSh74ytJL97G-VR97Hsy-FPiELN4f0U 2511
reinfier/common/Feature.py sha256=LhriHbVoU9uHhn0dLLblF7N7HPktoE5OOIIkaXi3dhU 3750
reinfier/common/NN.py sha256=j3rTGN2i4UfFRUkw0l5nh6qAmieDQpC6I_CRQnRV2tc 2265
reinfier/common/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
reinfier/common/base_class.py sha256=Cs4XNkeXGGEyX_OyW7-tyIyO5eJ0uCyeTPGi9BCr1Lo 423
reinfier/common/type_aliases.py sha256=Xi4aaAodwngrq94FrJPIcuurMsilTAJUpMV8tpJSq9Q 529
reinfier/drlp/DRLPTransformer.py sha256=ILOrfKYttXAbJCScK9ZiqK1xi5fgECmGzbcaurxjDgA 30402
reinfier/drlp/__init__.py sha256=MvbqFWqcOC1z8uIB3uT83L842sZDRmdBYPSRKO7rGGA 227
reinfier/drlp/auxiliary.py sha256=tBjwK3EOq6LUc7s7ygMjZP3-FoRTCX8fhbyRzirYSRU 169
reinfier/drlp/editor.py sha256=20BCvmwGB2QF4-yi9LSekGomuzrMTz8vCksYrJPNeE0 642
reinfier/drlp/error.py sha256=ZwXphIzszsY-xHLdTQ0r-ymYc9qa7vRzI9aNboSIWTY 350
reinfier/drlp/lib.py sha256=Vj06kQfMKnu_gafy8jZyXfAbieQ3C4W_NHb3lHXtoJE 7326
reinfier/drlp/parser.py sha256=UTPiOYdsMwOm15Sw1-7MsiDO98lOIBE7v3HXGsji40M 11473
reinfier/interface/__init__.py sha256=ee03kHYrCuHtUQuqdSCN5rDZWVe7brYOdjFo6rQjAXY 79
reinfier/interface/dnnv/__init__.py sha256=dH5a9j0LpiNQLzgnl0l0J0ZF9BDWwq865vpanjzipf4 50
reinfier/interface/dnnv/booter.py sha256=t8Sbbwr_RQ5SYZEvTwQDi_IoIg34iQZXE1-AIkeCNWw 7314
reinfier/interface/docker/__init__.py sha256=XzQbEdQeF8CFcfd4f0Gvi9NQADmKbPgO2JYDQyF36nU 21
reinfier/interface/docker/docker.py sha256=QpNfUJ7i6hQL6y5xGvnZTuAoy9wDqBWSMK16ceAtKCA 2572
reinfier/interface/docker/tests/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
reinfier/interface/docker/tests/test_docker.py sha256=fZKmONTxeS5CMjEdys5SMSqLIjJyTrOhsLh-g-SX7y0 2335
reinfier/interface/marabou/__init__.py sha256=dH5a9j0LpiNQLzgnl0l0J0ZF9BDWwq865vpanjzipf4 50
reinfier/interface/marabou/booter.py sha256=k8aLxi2ChjBoIX6t0SyaZc7qG0av9pHtB0LAhuGtPSY 6102
reinfier/interface/verisig/__init__.py sha256=mPvcBkNkN9Xk9ViBhhyNVvu1vigqvzFz1NE036I8ccw 53
reinfier/interface/verisig/booter.py sha256=ReyngomJnHaH9HsUAoYcKyNNTvDeR_x9rtw6h_6yH7g 5165
reinfier/interpretor/__init__.py sha256=Nhbg8P4jsG5QF7gm55UZbm84OZn80gJxoAcL2Xb-O78 87
reinfier/interpretor/lib.py sha256=pjmcgoR6zJ-Ym9vH87RVd7lrh81v0LjCv_U-sqpAlvc 1720
reinfier/interpretor/solver.py sha256=GF9XVI_TeojOXjeAe4NGvndC8d6INMbnTevIvfOXpsY 4312
reinfier/interpretor/tests/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
reinfier/interpretor/tests/test_solver.py sha256=JuCHUCwhioUnzXIDJKMORQzytTF_KbrvUz2pmKH7uwE 820
reinfier/nn/__init__.py sha256=-9cjpcgxMugX-gY4bObjPW4Tm85bPmlfEYKb29hBt9U 120
reinfier/nn/expander.py sha256=KG6rT8TbeJRwKxiDCanDE_0QIK-AfZlOuVBl5Hxz-B8 11034
reinfier/nn/lib.py sha256=LHVH9DnvKcA91UKNPqosa62AuWasZtee5PA3eKyh4eA 104
reinfier/nn/onnx_runner.py sha256=T42POL_LdN-nToisjyStEsehsytzi07slmpDC0nvmNw 1013
reinfier/reintrainer/Reintrainer.py sha256=oW5Jt-TCir93Y2XNqSvW892yTEGQdOcETb_hIn911pM 27181
reinfier/reintrainer/__init__.py sha256=fX3pMEjygU4QOA2CTj0Zt5uMRFtsdZ4E4yQnaY4RHJ8 127
reinfier/res/__init__.py sha256=arNEBZJNZiPZVfMTjWyy9EGkyHq4tRakUAEhOKS1O6U 351
reinfier/res/test01/drlp/test01_p1.drlp sha256=J07thibTQLPTjilnNBvD5ta5BiIilgvfNeeupANyI_A 193
reinfier/res/test01/nn/test01.onnx sha256=tyPejEMbds9ALu4TZbofH28AhekZm-6hDpf1ho6361w 349
reinfier/util/TimerGroup.py sha256=C0c11LKQ6oOXwUbFChKDb6ijdB20wAsTKqQLjKTZH7A 2548
reinfier/util/__init__.py sha256=ylG5XHIY-b8drKdb20duZsaIL6S49giTNpRXw-nSn8A 134
reinfier/util/data.py sha256=mwbGhmX_OF9_rxA2g0m3r1_1uGpD9ShzAkUQ-62Hi6c 339
reinfier/util/lib.py sha256=3kk9ZfA4upBukyjcoZeGEiWbAGfpiIvJ28eHAVvGKPA 2609
reinfier/util/output_wrapper.py sha256=G48v4kZG679h8x7cJY2nhCfXDyf_u28KBQ0-RkF3Y5Y 455
reinfier-0.5.3.dist-info/LICENSE sha256=xdv8F-owk12r3K_SFI5PDIUPgZB6qO8cXGqYN1_qJdY 1101
reinfier-0.5.3.dist-info/WHEEL sha256=EZbGkh7Ie4PoZfRQ8I0ZuP9VklN_TvcZ6DSE5Uar4z4 81
reinfier-0.5.3.dist-info/METADATA sha256=gwkZBWAWEMYFr_IYB4yx73LI4lS3llOq84OcoKktp9w 6691
reinfier-0.5.3.dist-info/RECORD — —