MarabouPythonic and Gurobi

[AWbosman]

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]

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.