PyPI page
Home page
Author:
Tommaso Dreossi, Shromona Ghosh, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte, Sanjit A. Seshia
Summary:
A toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components.
Latest version:
2.2.0
Required dependencies:
dill
|
dotmap
|
easydict
|
future
|
joblib
|
kmodes
|
matplotlib
|
metric-temporal-logic
|
networkx
|
numpy
|
pandas
|
progressbar2
|
pygame
|
pygame-ce
|
scenic
|
scikit-learn
|
scipy
|
statsmodels
Optional dependencies:
gpy
|
gpyopt
|
gym
|
opencv-python
|
pillow
|
pyglet
|
pyproj
|
pytest
|
pytest-randomly
|
ray
|
recommonmark
|
sphinx
|
sphinx-rtd-theme
|
sphinx-tabs
|
tensorflow
|
tox
|
verifai
Downloads last day:
114
Downloads last week:
317
Downloads last month:
2,063