Project

General

Profile

Actions

Bug #1890

closed

Remove dependency on GLPK from CSIsat

Added by Pavel Shved about 13 years ago. Updated about 13 years ago.

Status:
Closed
Priority:
Urgent
Assignee:
Category:
-
Target version:
Start date:
10/10/2011
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Platform:
Published in build:

Description

CSIsat seems to link with GLPK (GNU Linear Programming Kit) statically. This library is uncommon, and, for instance, was missing from my openSUuSE distribution. We should link it statically, as it was in the older CSIsat.

Actions

Also available in: Atom PDF