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.2.1
Evaluating Robustness of Neural Networks with Mixed Integer Programming
Registry -
Documentation -
Download -
JSON
purl: pkg:julia/[email protected]
Published:
Indexed:
Related tag:
v0.2.1
Loading...
Readme
Loading...
Dependencies
- AutoHashEquals 0.2
- CSV 0.5.9-0.5
- ConditionalJuMP 0.1
- DataFrames 0.19-0.20
- DocStringExtensions 0.8
- JuMP 0.18
- MAT 0.5-0.7
- MathProgBase 0.7
- Memento 0.12
- ProgressMeter 1
- julia 1