You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Many of the other available SCIP tools support a --output flag to allow users to specify where to save the generated SCIP file to. It'd be great if scip-dart supported the same option.
Happy to look into doing this myself - I don't imagine it's a particularly tricky change.