[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Help-glpk] order restrictions
From: |
Andrew Makhorin |
Subject: |
Re: [Help-glpk] order restrictions |
Date: |
Fri, 02 Nov 2012 21:05:56 +0400 |
> Heh. Using 'glpsol --minisat' gave the answer almost
> instantaneously [it took ~15 hours without the --minisat option].
>
Please note that --minisat allows to find only an integer feasible
solution, i.e. it solves an integer feasibility problem. To find a
better integer feasible solution you also need to specify --objbnd
option, which introduces an additional inequality constraint to limit
the objective value.