Questions about DSP and DSPopt

[GBianchiM]

Good afternoon, I hope this message finds you well. I am reaching out to ask a few questions about a stochastic mathematical model that I am trying to solve using Benders decomposition with the DSP repository. I have been using this repository through its Julia interface, DSPopt.

1.- My model includes binary variables in the second stage. Is DSP capable of solving decomposition problems with binary variables in the second stage?

2.- I am trying to determine which type of solver DSP uses to solve mathematical models. I would personally like to use Gurobi, but I am unsure how to configure this.

3.- Is there any Runtime advantage between DSP and DSPopt? When I tried solving the "farmer" example, I received different values from each.

4.- Does DSP provide any algorithm to generate the SMPS format for input into DSP? I have been looking for a tool to assist with this due to the complexity of my mathematical model, but I haven't found a suitable solution.