Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
juliahub.com : MIPVerify : 0.5.2
Evaluating Robustness of Neural Networks with Mixed Integer Programming
Registry -
Documentation -
JSON
purl: pkg:julia/[email protected]
Published:
Indexed:
Related tag:
v0.5.2
Dependencies
- CSV 0.7-0.10
- DataFrames 0.21-0.22,1
- DelimitedFiles 1
- DocStringExtensions 0.8-0.9
- IntervalArithmetic 0.15-0.22
- JuMP 0.21.4-0.23,1
- MAT 0.5-0.10
- MathOptInterface 0.9-0.10,1
- Memento 0.13,1
- ProgressMeter 1
- julia 1.6.0-1