search

NeuralNetworkVerification / Marabou

Other
264 stars 90 forks source link

MarabouPythonic and Gurobi #822

Open AWbosman opened 4 months ago

AWbosman commented 4 months ago

Dears,

I am working with MarabouPythonic and all my networks either run into segmentation faults or bad alloc. I saw in another issue that someone recommended using gurobi as an engine for Marabou. I would like to do that, how can I set that up using the Maraboupy pip package?

If that is not possible is there a tutorial of how to do this?

Kindly

wu-haoze commented 4 months ago

This sounds like the tool ran out of memory, which is something using Gurobi might indeed fix. Unfortunately you'd need to build the tool from scratch following the instructions in the README.md, since Gurobi is not an open source tool and requires a license.