Closed mmp3 closed 4 years ago
The framed
library is now deprecated and was replaced with reframed
, which I also maintain. My plan is to make the next release of carveme
depend on reframed
instead.
The support for glpk
was dropped for multiple reasons, including lack of interest. On the other hand, reframed
now supports optlang
, and therefore supports any solver available in optlang
including glpk
.
However, I don't believe GLPK can handle the large MILP problem generated by CarveMe. I have plans to explore SoPlex, but have not done so yet due to lack of time.
I would, of course, welcome any feedback and contributions if you would like to try any different solver configuration in CarveMe.
I see that
glpk
is not supported byframed
since the November 2017 release, andcarveme
is built on top offramed
, socarveme
is also unable to useglpk
.Is there any inherent difficulty to providing a solver interface for
glpk
, or wasglpk
support discontinued only because of lack of time, labor, interest, or importance?Any warnings or advice for someone who were to attempt to re-introduce a solver interface for
glpk
?