Factual package intelligence from PyPI

neuralsat 0.2.17 package intelligence

NeuralSAT: A DPLL(T) Framework for Verifying Deep Neural Networks

pip install neuralsat

Current version
0.2.17
Python requirement
<3.14,>=3.10
License
MIT License
Distribution type
Pure Python wheel
Release files
2 (1 wheels, 1 source)
Download size
2.0 MiB
Release history
18 releases with files
Median release cadence
0 days

neuralsat dependencies

PyPI declares 34 unique dependency rules for this release. Environment markers are shown when supplied by the project.

  1. beartype >=0.16.4
  2. certifi >=2022.12.7
  3. charset-normalizer >=2.1.1
  4. coloredlogs >=15.0.1
  5. filelock >=3.9.0
  6. flatbuffers >=23.5.26
  7. fsspec >=2023.4.0
  8. gurobipy >=11.0.0
  9. humanfriendly >=10.0
  10. idna >=3.4
  11. Jinja2 >=3.1.2
  12. MarkupSafe >=2.1.3
  13. mpmath >=1.2.1
  14. networkx >=3.0
  15. numpy >=1.24.2
  16. onnx >=1.15.0
  17. onnxsim >=0.4.36
  18. onnxruntime >=1.16.3
  19. packaging >=23.2
  20. Pillow >=9.3.0
  21. protobuf <6.0,>=4.25.1
  22. psutil >=5.9.6
  23. requests >=2.28.1
  24. sortedcontainers >=2.4.0
  25. sympy >=1.11.1

The compact report shows 25 of 34 declarations. The interactive dependency graph loads the complete metadata.

Compatibility and release files

neuralsat publishes 1 wheel and 1 source archive for version 0.2.17. Wheel platform tags: any.

No version-specific Python classifiers are declared.

Release activity and sources

PyPI lists 18 releases with files. The first dated release is ; 2 releases fall within the 365 days preceding the latest dated release. The current release files were uploaded on . The preceding dated release was .