Forwarded Message
From: Erik Quaeghebeur
To: help-glpk@gnu.org
Subject: Enabling MiniSat for 64 bit?
Date: Thu, 09 Mar 2017 19:21:15 +0100
Dear list,
I recently updated my GLKP installation from 4.55 to 4.61. I encountered
the issue that MiniSat is disabled for 64 bit system.
Hi,
I want to pass matrix values contained in excel file or csv to a
matrix parameter, for example, Excel table:
AGUCEN
ITU 56
PMO 78
So that I can read through the parameter traffic:
traffic[ITU,AGU]=5
traffic[PMO,AGU]=7
...
In the real case there are many values
Andrew,
Here are three patches for MiniSat related issues. The first one is a
small modification (better comment) of my original patch [1] to
restore MiniSat on 64 bit systems. The second is a resend of [2] that
handle the case where MiniSat detects trivial conflicts. The third
patch allows runnin
Rodolfo. SolverStudio (http://solverstudio.org) will do this for you
automatically and also let's you edit GMPL files and run GLPK from within
Excel. Might be useful. Andrew
___
Help-glpk mailing list
Help-glpk@gnu.org
https://lists.gnu.org/mailman/lis
Hello Rodolfo,
I guess it would be a better idea to format the CSV such that C1 and C2
values go into columns:
ITU,AGU,5
ITU,CEN,6
PMO,AGU,7
PMO,CEN,8
Otherwise use:
set D, dimen 3;
set C2;
set C1 := setof{(i,j,k) in D} i;
param traffic_st{i in C1, j in C2} >=0 :=
if j = "AGU" then sum{(i,k,l