[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
## Re: [Help-glpk] glpsol (MIP) "-w" output specification, "-y" operatio

**From**: |
Johannes Waldmann |

**Subject**: |
Re: [Help-glpk] glpsol (MIP) "-w" output specification, "-y" operation |

**Date**: |
Mon, 04 May 2009 07:21:10 +0200 |

**User-agent**: |
Thunderbird 2.0.0.19 (X11/20081227) |

>* To get tighter relaxations, use the smallest big M's that will work.*
This effectively limits the range of values for the unknowns.
If that range is very small, then I can directly use a binary encoding
for numbers, and use a SAT solver - in fact that's what I've been doing
for some time. I was hoping that MIP gives another feasible approach.
But as they say, "there's no free lunch".
PS: I find the slight inconsistencies between gmpl and zimpl
http://zimpl.zib.de/
super annoying. (syntactically: e.g., "subject to"/"subto", and
semantically:
default lower bound is -infinity and 0, resp.)
J.W.

**
**`signature.asc`

*Description:* OpenPGP digital signature

**[Help-glpk] glpsol (MIP) "-w" output specification, "-y" operation**, *Johannes Waldmann*, `2009/05/02`
**Re: [Help-glpk] glpsol (MIP) "-w" output specification, "-y" operation**, *Andrew Makhorin*, `2009/05/02`
**Re: [Help-glpk] glpsol (MIP) "-w" output specification, "-y" operation**, *Johannes Waldmann*, `2009/05/03`
**Re: [Help-glpk] glpsol (MIP) "-w" output specification, "-y" operation**, *Michael Hennebry*, `2009/05/03`
**Re: [Help-glpk] glpsol (MIP) "-w" output specification, "-y" operation**,
*Johannes Waldmann* **<=**
**Re: [Help-glpk] glpsol (MIP) "-w" output specification, "-y" operation**, *Michael Hennebry*, `2009/05/04`
**Re: [Help-glpk] glpsol (MIP) "-w" output specification, "-y" operation**, *Michael Hennebry*, `2009/05/07`
**Re: [Help-glpk] glpsol (MIP) "-w" output specification, "-y" operation**, *Johannes Waldmann*, `2009/05/08`
**Re: [Help-glpk] glpsol (MIP) "-w" output specification, "-y" operation**, *Michael Hennebry*, `2009/05/08`