[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 (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
super annoying. (syntactically: e.g., "subject to"/"subto", and
default lower bound is -infinity and 0, resp.)


Attachment: signature.asc
Description: OpenPGP digital signature

reply via email to

[Prev in Thread] Current Thread [Next in Thread]