search

BerkeleyLearnVerify / VerifAI

VerifAI is a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components.
BSD 3-Clause "New" or "Revised" License
170 stars 47 forks source link

installation requirements #47

Closed LiQ8765 closed 1 year ago

LiQ8765 commented 1 year ago

What version of python and webots do I need to install to install verifai on windows