Re: [Fwd: Integer solutions]

2023-01-18 Thread Michael Hennebry

On Wed, 18 Jan 2023, Andrew Makhorin wrote:


 Forwarded Message 

Date: Tue, 17 Jan 2023 20:33:01 -0800
Subject: Integer solutions
To: 'Help-glpk@gnu.org' 
From: neillcl...@gmail.com


[Fwd: Integer solutions]

2023-01-18 Thread Andrew Makhorin
 Forwarded Message 

Date: Tue, 17 Jan 2023 20:33:01 -0800
Subject: Integer solutions
To: 'Help-glpk@gnu.org' 
From: neillcl...@gmail.com
> Hi,
> If I call glp_simplex without specifying that any variables be
> integers and then call glp_intop it looks like it at least makes the
> objective function an integer.
> If I specify the variable should be integers as well via
> glp_set_col_kind with GLP_IV then I found the time to solve the
> problem was much larger (well to be expected I guess).
> What is the process I should follow if I want to perform a real
> relaxation of a full integer problem and only go to integers if the
> problem is not satisfiable (mostly what I use the calls for)?
> I couldn’t really see this spelled out in the docs.
> I use the object function to find redundant constraints and I can see
> this with both real and integer objectives. Obviously doing the real
> case first would be faster. Likewise I determine feasibility of a
> system of inequalities with a zero objective and want to do this in
> both reals and then integers.
> Thanks.
> Neill.
>