Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
pypi.org : maraboupy-neuralnetworkverification
Marabou Neural Network Verification Framework Python Interface
Registry
-
Source
- Documentation
- JSON
purl: pkg:pypi/maraboupy-neuralnetworkverification
Keywords: neural network, formal verification
License: BSD-3-Clause
Latest release: over 3 years ago
First release: over 3 years ago
Dependent repositories: 1
Downloads: 7 last month
Stars: 238 on GitHub
Forks: 86 on GitHub
Total Commits: 1094
Committers: 46
Average commits per author: 23.783
Development Distribution Score (DDS): 0.503
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 1 day ago
maraboupy 2.0.0
A package wrapping the Marabou Neural Network Verification tool.2 versions - Latest release: about 2 months ago - 168 downloads last month - 238 stars on GitHub - 1 maintainer