#12703: GLPK fails to build with LTO (`gcc -flto ...`)
------------------------------------------------------------------------+---
Reporter: leif |
Owner: leif
Type: defect |
Status: needs_review
Priority: minor |
Milestone: sage-5.0
Component: packages |
Resolution:
Keywords: link time optimization nm glpsol spkg upgrade update |
Work issues:
Report Upstream: Reported upstream. Developers acknowledge bug. |
Reviewers:
Authors: Leif Leonhardy |
Merged in:
Dependencies: |
Stopgaps:
------------------------------------------------------------------------+---
Comment (by leif):
== To also motivate the upgrade: ==
GLPK 4.47 (release date: Sep 09, 2011)
The new API routine `glp_intfeas1()` was added to the package.
This routine is a tentative implementation of the integer (0-1)
feasibility solver based on the CNF-SAT solver (which currently
is !MiniSat). It may be used in the same way as `glp_intopt()` to
find either any integer feasible solution or a solution, for
which the objective function is not worse than the specified
value. Detailed description of this routine can be found in the
document ''"CNF Satisfiability Problem"'', which is included in
the
distribution (see `doc/cnfsat.pdf`).
The following two options were added to `glpsol`:
`--minisat` translate 0-1 feasibility problem to CNF-SAT
problem and solve it with
`glp_intfeas1()`/!MiniSat
(if the problem instance is already in CNF-SAT
format, no translation is performed)
`--objbnd bound` add inequality obj <= bound (minimization) or
obj >= bound (maximization) to 0-1 feasibility
problem (this option assumes `--minisat`)
The paint-by-numbers puzzle model (`pbn.mod`) included in the
distribution is a nice example of the 0-1 feasibility problem,
which can be efficiently solved with `glp_intfeas1()`/!MiniSat.
This
model along with a brief instruction (`pbn.pdf`) and benchmark
examples from <webpbn.com> encoded in GNU !MathProg (`*.dat`) can
be found in subdirectory `examples/pbn/`.
The `glpsol` lp/mip solver was modified to bypass postprocessing
of !MathProg models if the solution reported is neither optimal
nor feasible.
A minor bug in `examples/Makefile.am` was fixed to correctly
build glpk in a separate directory. Thanks to Marco Atzeri
<[email protected]> for bug report and patch.
GLPK 4.46 (release date: Aug 09, 2011)
The following new API routines were added:
`glp_read_cnfsat()` read CNF-SAT problem data in DIMACS format
`glp_check_cnfsat()` check for CNF-SAT problem instance
`glp_write_cnfsat()` write CNF-SAT problem data in DIMACS format
`glp_minisat1()` solve CNF-SAT problem instance with
!MiniSat
The routine `glp_minisat1()` is a driver to !MiniSat, a CNF-SAT
solver developed by Niklas Een and Niklas Sorensson, Chalmers
University of Technology, Sweden. This routine is similar to
the routine `glp_intopt()`, however, it is intended to solve a 0-1
programming problem instance, which is the MIP translation of
a CNF-SAT problem instance.
Detailed description of these new API routines can be found in
the document ''"CNF Satisfiability Problem"'', which is included
in
the distribution (see files `doc/cnfsat.tex` and
`doc/cnfsat.pdf`).
The following new `glpsol` command-line options were added:
`--cnf filename` read CNF-SAT problem instance in DIMACS
format from filename and translate it to MIP
`--wcnf filename` write CNF-SAT problem instance in DIMACS
format to filename
`--minisat` solve CNF-SAT problem instance with !MiniSat
solver
The zlib compression library (version 1.2.5) was ANSIfied,
modified according to GLPK requirements and included in the
distribution as an external software module. Thus, now this
feature is platform independent.
Some bugs were fixed in the SQL table driver. Thanks to Xypron
<[email protected]>.
GLPK 4.45 (release date: Dec 05, 2010)
This is a bug-fix release.
Several bugs/typos were fixed. Thanks to
Xypron <[email protected]>,
Robbie Morrison <[email protected]>, and
Ali Baharev <[email protected]> for reports.
Some glpk documents was re-formatted and merged into a single
document. Now the glpk documentation consists of the following
three main documents (all included in the distribution):
GLPK: Reference Manual
GLPK: Graph and Network Routines
Modeling Language GNU MathProg: Language Reference
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/12703#comment:2>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
