Matthias Miltenberger

Hi Sebastian, I would recommend you just try a few different parameters to see how they perform. It's almost impossible to give a parameter suggestion that makes the optimization "certainly faster"...

You should check out the different examples - either in the examples directory or online. The diet one uses addConstrs(). I would recommend reading some of those to get a feeling of how to use the ...

Hi Sebastian, I just shortened the log output in your previous post for better readability. On topic: Tree size estimation is still an open question and people are actively researching in this area...

Hi Swapnil, I would recommend finding the relevant elements in the specname list first. This should make constructing the constraint more readable. Furthermore, addConstrs(generator, name) does not...

Indeed, I also suspect that the missing gurobi_c++ lib is the reason for the linker errors. You may want to check whether the CMake variable GUROBI_CXX_LIBRARY has the correct value. Cheers,Matthias

Hi Fabien, Did you set the LazyConstraints parameter to 1? Lazy constraints are also explained here and here.Does that help? Cheers,Matthias

Can you please enable verbose messaging when building the project? Should be possible by specifying VERBOSE=True or -v. Cheers,Matthias

Hi Sebastian, You can use any available port of your choice by specifying it via the command line option --port=xxxx when starting grb_rs or by specifying the port in the grb_rs.cnf configuration f...

Could you please only show the error message that appears when you are trying to configure the CMake build? You said there was an error. I removed the long previous post. Did you use our own CMake ...

Could you please share the CMake output? Thanks,Matthias