PyPI page
Home page
Author:
None
Summary:
NeuralSAT: A DPLL(T) Framework for Verifying Deep Neural Networks
Latest version:
0.2.17
Required dependencies:
beartype
|
certifi
|
charset-normalizer
|
coloredlogs
|
filelock
|
flatbuffers
|
fsspec
|
gurobipy
|
humanfriendly
|
idna
|
jinja2
|
joblib
|
markupsafe
|
mpmath
|
networkx
|
numpy
|
onnx
|
onnxruntime
|
onnxsim
|
packaging
|
pillow
|
protobuf
|
psutil
|
requests
|
scipy
|
sortedcontainers
|
sympy
|
termcolor
|
torch
|
torchaudio
|
torchvision
|
tqdm
|
typing_extensions
|
urllib3
Downloads last day:
36
Downloads last week:
275
Downloads last month:
336