vtjeng / MIPVerify.jl

Evaluating Robustness of Neural Networks with Mixed Integer Programming
MIT License
113 stars 31 forks source link

Ignore Manifest.toml per best practice for packages. #130

Closed vtjeng closed 1 year ago