Closed mkoeppe closed 3 months ago
@ambros-gleixner
Thanks for the ping. I have asked Thorsten Koch, waiting for an answer whether we should do that.
Will happen, but may take some time.
There is https://github.com/scipopt/zimpl
@ambros-gleixner