julia gurobi version problems

[ace-shifu]

Hello, I'm sorry to bother you. I'm very interested in your project. However, I encountered some configuration errors while running the script ./step0_find_edge_input.sh mnist 10. Could you please let me know the actual installed version of your Gurobi and the Gurobi version installed on Julia?

(prover) savgroup@savgroup:~/shifu/realadv-master$ ./step0_find_edge_input.sh mnist 10
robust test cases: 9463
found cudnn: /home/savgroup/anaconda3/envs/prover/lib/python3.8/site-packages/torch/lib/libcudnn_cnn_infer.so.8
test acc: unstable=98.57% stable=98.57%; err=0.005079746246337891
robust examples: torch.Size([9463, 1, 28, 28])/10000
error on robust: 0.0032973289489746094
ERROR: ERROR: LoadError: ERROR: LoadError: LoadError: The C API of Gurobi.jl has been rewritten to expose the complete C API, and
all old functions have been removed. For more information, see the Discourse
announcement: https://discourse.julialang.org/t/ann-upcoming-breaking-changes-to-cplex-jl-and-gurobi-jl

[jia-kai]

Hi, did you install the latest version of MIPVerify with my pull request manually patched? Gurobi is indirectly used by realadv through MIPverify. Realadv uses a very thin wrapper of public APIs of MIPverify, which has a few lines setting up a Gurobi solver. If MIPVerify works with the latest versions of Gurobi.jl and Julia, I guess we only need to modify a few lines in this wrapper to make it work.