Wheelodex » Projects » verifai

verifai

View on PyPI — Reverse Dependencies (2)

2.1.1 verifai-2.1.1-py3-none-any.whl

Wheel Details

Project: verifai
Version: 2.1.1
Filename: verifai-2.1.1-py3-none-any.whl
Download: [link]
Size: 578043
MD5: cf2e2b334d488ec4f744ac27f75b8a53
SHA256: 5cde3afce87d3d83f90ffffc27c540b3ea99f120c0ec73ee782503ca03ba651a
Uploaded: 2024-04-17 20:45:53 +0000

dist-info

METADATA · WHEEL · RECORD

METADATA

Metadata-Version: 2.1
Name: verifai
Version: 2.1.1
Summary: A toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components.
Author: Tommaso Dreossi, Shromona Ghosh, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte, Sanjit A. Seshia
Author-Email: Daniel Fremont <dfremont[at]ucsc.edu>, Edward Kim <ek65[at]berkeley.edu>
Maintainer-Email: Daniel Fremont <dfremont[at]ucsc.edu>, Edward Kim <ek65[at]berkeley.edu>
Project-Url: Documentation, https://verifai.readthedocs.io
Project-Url: Repository, https://github.com/BerkeleyLearnVerify/VerifAI
Classifier: Operating System :: OS Independent
Classifier: Development Status :: 5 - Production/Stable
Classifier: License :: OSI Approved :: BSD License
Classifier: Programming Language :: Python :: 3
Requires-Python: >=3.8
Requires-Dist: numpy (~=1.21)
Requires-Dist: scipy (~=1.7)
Requires-Dist: dotmap (~=1.3)
Requires-Dist: metric-temporal-logic (>=0.1.5)
Requires-Dist: matplotlib (~=3.2)
Requires-Dist: easydict (~=1.9)
Requires-Dist: joblib (~=1.2)
Requires-Dist: dill (>=0.3.1)
Requires-Dist: future (>=0.18.3)
Requires-Dist: pandas (~=1.3)
Requires-Dist: scikit-learn (~=1.0)
Requires-Dist: pygame (~=2.1)
Requires-Dist: kmodes (<=0.10.2)
Requires-Dist: scenic (<4,>=2.1.0b1)
Requires-Dist: progressbar2 (~=3.53)
Requires-Dist: networkx (>=2.6)
Requires-Dist: statsmodels (>=0.13.2)
Requires-Dist: GPy (~=1.9); extra == "bayesopt"
Requires-Dist: GPyOpt (~=1.2); extra == "bayesopt"
Requires-Dist: verifai[test]; extra == "dev"
Requires-Dist: tox (~=3.14); extra == "dev"
Requires-Dist: sphinx (<6,>=4.1.0); extra == "dev"
Requires-Dist: sphinx-rtd-theme (>=0.5.2); extra == "dev"
Requires-Dist: sphinx-tabs (~=3.4.1); extra == "dev"
Requires-Dist: recommonmark (>=0.6.0); extra == "dev"
Requires-Dist: tensorflow (~=2.8); extra == "examples"
Requires-Dist: gym (>=0.22); extra == "examples"
Requires-Dist: pyglet (~=1.5); extra == "examples"
Requires-Dist: opencv-python (~=4.5); extra == "examples"
Requires-Dist: pillow (~=9.3); extra == "examples"
Requires-Dist: pyproj (~=3.0); extra == "examples" and python_version < "3.10"
Requires-Dist: pyproj (~=3.3); extra == "examples" and python_version >= "3.10"
Requires-Dist: ray (~=1.10); extra == "parallel"
Requires-Dist: pytest (<8,>=6.2.5); extra == "test"
Requires-Dist: pytest-randomly (>=3.2); extra == "test"
Provides-Extra: bayesopt
Provides-Extra: dev
Provides-Extra: examples
Provides-Extra: parallel
Provides-Extra: test
Description-Content-Type: text/markdown
[Description omitted; length: 2149 characters]

WHEEL

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

RECORD

Path Digest Size
verifai/.DS_Store sha256=ovFRZSLXiPhdvH-1U5UbBVeZpr3pp3orSz8WrSyqEDQ 8196
verifai/__init__.py sha256=Z1AYtR1Fa1n3wsgM5XkFWEJB_x8Xq-GAeanmeqEGOA8 62
verifai/client.py sha256=NkHEHnetXI3XYcMdKxvKullhLzEhVSh1iZ8DMifw4G4 1962
verifai/error_table.py sha256=NjyVc1sRWIr0lCrAexVysbAw3UWdvkBSy49tm7QZmb0 13455
verifai/falsifier.py sha256=OPMIFP499_TMCES8amMsDINWdfBZn6teGhBQrmqxgbo 12281
verifai/monitor.py sha256=kEStdR97bOrhNGMSYDExWslDxdWqN94WfvdwPLDr3bo 1861
verifai/scenic_server.py sha256=rvVUdiBHRsiww6b2Sx_sqGdH6KoE6DuzeCv77CdV5kM 9797
verifai/server.py sha256=kkxWCsvZlHXdtr4j5Su503ARgG7lDl1va1c5ZM1UI2Y 8399
verifai/features/__init__.py sha256=YVjXjov54jShztm70uZkd1hUjX5b6Anc7hPpjKNY1cA 24
verifai/features/features.py sha256=2KQGes1AWrOQMZgE6I6hgVPEOJpB9PaN4k1qdmNUWpg 42276
verifai/samplers/.DS_Store sha256=1lFlJ5EFymdzGAUAaI30vcaaLHt3F1LwpG7xILf9jsM 6148
verifai/samplers/__init__.py sha256=29a0qxBIYZY3SSGEMe1MVuEY6_tbxuu7LCDU8J_RlxM 621
verifai/samplers/bayesian_optimization.py sha256=RziknNahhG-6_nE9_4clopx4BoWJoMLgnRrJfpxj8jg 1604
verifai/samplers/cross_entropy.py sha256=ZY7xxkW1jAEzgsstXDxgF6P5pAtCDlrq7LdgrwXzk7U 7075
verifai/samplers/dist_BO.py sha256=eHIgGR2wPUebrCiyu0G3idy01q3NyaLa0PV8a2eNZJU 2229
verifai/samplers/domain_sampler.py sha256=_wk3WJsx1e9aqRkJ7v9x12vadyvVa4cBOFmYAtkH5JI 8263
verifai/samplers/eg_sampler.py sha256=RYSAGrCv72oNC7VagLRZiT28sKvyDlQdM99RGe06xuQ 4754
verifai/samplers/feature_sampler.py sha256=xyw7SAc0dbbLgLulBrXwCYJ8u1I1FZDkPiQ6Ed-5HAs 10417
verifai/samplers/grid_sampler.py sha256=HhXoHOEJfC8lr2uo38kQc0lx1aVOhesBu4IvPFPriOM 3218
verifai/samplers/halton.py sha256=FGh9arB_4z9nqfAWydzvXhWTm_MFKixGZ-HLnTZOJrk 1192
verifai/samplers/multi_armed_bandit.py sha256=h3JiXhSnpKmT1y1A5vaToH0Cko442xj6o27Hwq0Lu6g 8050
verifai/samplers/multi_objective.py sha256=WF7rR7KH2z80auUFmp-ARQkp0q7OzJvqY4300d7VbMc 568
verifai/samplers/random_sampler.py sha256=avt0fHHqRfsQvkp5Tdf_T0K9RmIP5BpW7r67UQ2LaGE 687
verifai/samplers/rejection.py sha256=YkG4-qFFRQEjTF30AEdZPXU-3z0GnDJxnnvw2NkoeVA 1572
verifai/samplers/scenic_sampler.py sha256=noEBCCene_kgokIOOliXmMEnNVfbfSsEkRyFxndH5Q0 13510
verifai/samplers/simulated_annealing.py sha256=cW6OzPlL1uUe9YYWkUOfUpNb_81WXDujYdJ6xRHpXxw 4009
verifai/simulators/.DS_Store sha256=S4IY1bilFbkdmO0b529LQIFo8C6vHL-S298dSUCBRl4 10244
verifai/simulators/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
verifai/simulators/car_simulator/.DS_Store sha256=b9uXuJlc69F_08Lp8qkcVB2cQEeJkb4XK-wsoN8mfA0 6148
verifai/simulators/car_simulator/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
verifai/simulators/car_simulator/car_dynamics.py sha256=4wFiSfzyHpfoyXxkoxhSkSio5bt24D2LVyqE01U_IOM 648
verifai/simulators/car_simulator/car_object.py sha256=iDgw-kpvEiVJYjFWy1AqD2bFzCgbyRtIzXHHQnEWO6U 1525
verifai/simulators/car_simulator/client_car_sim.py sha256=EO6RTGsE9ROeH3YPFOslVc-igctR3rDi9jzzaRq50w0 348
verifai/simulators/car_simulator/lane.py sha256=uIkV86dmFgSkJi9HMxYV1nT_xWEOoiFLsFTPB2eSO_w 567
verifai/simulators/car_simulator/simulator.py sha256=8VfhUBJ5QCptgz6RDF-9oq9vq_Agb-KhxT8fYg7q-GI 5876
verifai/simulators/car_simulator/examples/.DS_Store sha256=VNorggW-_ohFxsbOd1MIhjmpAsRFtnbt8OM5y8NzPVo 6148
verifai/simulators/car_simulator/examples/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
verifai/simulators/car_simulator/examples/simple_control.py sha256=lKR5aMX-l8ydnbOQc4Dsj-GbeaAeqO2Jc_SN_SHsRKI 1769
verifai/simulators/car_simulator/examples/control_utils/LQR_computation.py sha256=mGO42I1ar8xETak2WuvIAOZBp9FiWQm5djnX_wf-HeI 1521
verifai/simulators/car_simulator/examples/control_utils/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
verifai/simulators/car_simulator/examples/lanekeeping_LQR/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
verifai/simulators/car_simulator/examples/lanekeeping_LQR/lanekeeping_falsifier.py sha256=NOA4X1K0dDWxOHtHoD450sa3pp_T5sA5l5L7D8YgGyI 1446
verifai/simulators/car_simulator/examples/lanekeeping_LQR/lanekeeping_simulation.py sha256=-8syGxyLei7-J0ec9_j0DnomZZ8Yse9mBnT0rqhTK8U 3557
verifai/simulators/car_simulator/imgs/car-blue.png sha256=cDtnDr0woH4LpbQ0b4_6vHO2Um8P8YlhrtBpYOgopKQ 34703
verifai/simulators/car_simulator/imgs/car-gray.png sha256=SoWQcFAbkso-ci_3W-oCzWpNAYmOHVUIAMQtdHbfqkY 35818
verifai/simulators/car_simulator/imgs/car-orange.png sha256=hIFeVLSQYUf6RMAzy1AHQhCqoSiFhEzQGoONjA4pDds 46045
verifai/simulators/car_simulator/imgs/car-purple.png sha256=lSLmKwg1X5dSqCFb3z49v-nLjvqT6r-5PCOD-0e7eto 47932
verifai/simulators/car_simulator/imgs/car-red.png sha256=U6ElHlB7gG-nId0z1fdxZzvDxBRP9db7dYWYRah7L5E 29755
verifai/simulators/car_simulator/imgs/car-white.png sha256=wT7wmSjKB4TYM1gqFJaQGEzQylXfXCSqmbwqnz5j8Rs 43944
verifai/simulators/car_simulator/imgs/car-yellow.png sha256=W0QZXXaKyuF17Cbx6Q2SHsBfZ-I0kXr7JfvkYUgPF-o 32237
verifai/simulators/car_simulator/imgs/cone.png sha256=eLYA-0uyce6_HBJZExlVAGxAsfvjX2rdEAnKJZy9wh4 80687
verifai/simulators/car_simulator/imgs/firetruck.png sha256=h6HUurNmHwILVaJMTKj__7j4y8CGXSFny3dcF1ntTA4 63722
verifai/simulators/car_simulator/imgs/grass.png sha256=xEJ2jaYe0nQMWTmsrGy76-VR7-uycP_rARj8835v7vs 161331
verifai/simulators/carla/.DS_Store sha256=AEP8PQe4HteZdoiu5l18Rv1OlJCULlm2TwM9DJ3HFSM 6148
verifai/simulators/carla/carla_scenic_task.py sha256=KE6GuHDKKqvDdSlgFBIhxWKte2Rw12Ih5pOhW9D4aw8 3363
verifai/simulators/carla/carla_task.py sha256=J5K5qm8Wk-NGC0aMbSgMhh82LVd6VKSeNfr0JYBubk0 2608
verifai/simulators/carla/carla_world.py sha256=kaq5u_hdKNMUZssDDjAaATegrKc1iQXguTrdTBf3hIY 26303
verifai/simulators/carla/client_carla.py sha256=NNGS76od6yY8szzShsoILVwPPxtM4-XHh76QmTxRiu4 352
verifai/simulators/carla/agents/brake_agent.py sha256=4UxBGNrQx7XNAirmOTk1kWNDtvx83ywoNIdbsRAD8CA 546
verifai/simulators/carla/agents/overtake_agent.py sha256=Bm2t3ibAV36NNF2g_XNHwPVuJhqcgpgm2mQCzb4_Scw 5612
verifai/simulators/carla/agents/pid_agent.py sha256=LdNIxauJzbyFYj9WgdWeqMfiOzIhhthkqAXW-cTCE5U 3907
verifai/simulators/carla/agents/pid_follow_controller.py sha256=KqG067Z2UWgJOnriSu_0lprpz0IbU2XF1OODOQ-ViwA 2405
verifai/simulators/openai_gym/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
verifai/simulators/openai_gym/baselines_task.py sha256=YF2ejb4ZFTCOOfkiSAwFpmoixZxFiNxAHkR0Z32cLbE 3846
verifai/simulators/openai_gym/client_gym.py sha256=akx1ulbTNI2zQbkKWmAfSyy1fDPoTKqPbUWU2SZZoeU 337
verifai/simulators/webots/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
verifai/simulators/webots/client_webots.py sha256=KeyY64yUi32-c5-SCmpibzwOKKQcZjPNLyt6CbXFCNM 455
verifai/simulators/webots/webots_task.py sha256=8yxhNMsuDqMmUJ1Cl849X1rllJH5TvB_vJaJ8-X8bOo 396
verifai/simulators/xplane/.DS_Store sha256=v9PYfgBv5go2ZRUMwhSGVJpmj8l4CC0DMJ2cicQXBKc 6148
verifai/simulators/xplane/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
verifai/simulators/xplane/server.py sha256=v-E6Z-9njWVAFOMmCnq3SKxTbDG3UTePJgm4RXLbI9E 14443
verifai/simulators/xplane/utils/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
verifai/simulators/xplane/utils/controller.py sha256=erDk348txp5N0wLTNC_y6XBZ4PbVUa6aF81RoguGyvQ 490
verifai/simulators/xplane/utils/geometry.py sha256=221XX2T6UUjusVyDG-FuNQ1lzKStS4PR078-5Wg9o2A 2544
verifai/simulators/xplane/utils/images.py sha256=ICXawVsQYBBK5H8ArZwwqteVBdxQ59h-DtwHyUK9LRI 800
verifai/utils/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
verifai/utils/frozendict.py sha256=1znnk6PiYBEWwYG3j9xTk4T1-DZm4Y6Zyl1xJLOACOI 566
verifai/utils/utils.py sha256=lWmFQVYG3zr46PpNPv48iAbA8LYDhXln8jKgrqMOQFA 671
verifai-2.1.1.dist-info/LICENSE sha256=xVOx36b6kBU0-i7v8UETjBfAhgjai7iJ9EEbjhGSl7k 1519
verifai-2.1.1.dist-info/WHEEL sha256=EZbGkh7Ie4PoZfRQ8I0ZuP9VklN_TvcZ6DSE5Uar4z4 81
verifai-2.1.1.dist-info/METADATA sha256=vmLUM2ToqdNvW7H8VxUqpUk4254FAaXslhknwk2DeJk 4672
verifai-2.1.1.dist-info/RECORD — —