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: about 3 years ago
First release: about 3 years ago
Dependent repositories: 1
Downloads: 16 last month
Stars: 233 on GitHub
Forks: 84 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: 22 days ago