search

opencobra / optlang

optlang - sympy based mathematical programming language
http://optlang.readthedocs.org/
Apache License 2.0
241 stars 50 forks source link

implement esolver support #113

Closed hredestig closed 6 years ago

hredestig commented 7 years ago

esolver is an exact solver and cobrapy currently supports an interface to solve metabolic models using it. Since we are shifting to only using optlang interfaces in cobrapy, I raise this issue to help people comment and upvote this issue if they feel they would benefit from esolver in optlang as well.

cdiener commented 7 years ago

Does optlang support exact LPs for glpk? There are some nice features there as well. For instance converting a float basis to an exact one which is faster than computing de novo.

zakandrewking commented 7 years ago

Esolver is important for the reasons given by Ali in this 2015 commentary (for anyone who hasn't seen it):

http://msb.embopress.org/content/11/10/831

We use it in the BiGG Models model validator to provide more accurate validation, so for that application esolver support is important too.

cdiener commented 7 years ago

@zakandrewking what is the advantage of using esolver over other exact solver like GLPK's glp_exact which also uses exact rational algebra via GMP?

zakandrewking commented 7 years ago

Any exact solver is good (in theory). I'm not sure about the specific differences between those two.

cdiener commented 7 years ago

@zakandrewking ok, definitely agree with that :+1:

KristianJensen commented 6 years ago

I'm closing this issue as GLPK's glp_exact method is now implemented in the glpk_exact_interface. If anyone has a specific wish for esolver support, feel free to open another issue.