-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
GLPK 4.46 Release Information
*****************************
Release date: August 9, 2011
GLPK (GNU Linear Programming Kit) is intended for solving large-scale
linear programming (LP), mixed integer linear programming (MIP), and
other related problems. It is a set of routines written in ANSI C and
organized as a callable library.
In this release:
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
<xypron.g...@gmx.de>.
See GLPK web page at <http://www.gnu.org/software/glpk/glpk.html>.
GLPK distribution can be ftp'ed from <ftp://ftp.gnu.org/gnu/glpk/> or
from some mirror ftp sites; see <http://www.gnu.org/order/ftp.html>.
MD5 check-sum is the following:
0fd29d5750dbd648b61d5d6adf7987a2 *glpk-4.46.tar.gz
GLPK is also available as a Debian GNU/Linux package. See its web page
at <http://packages.debian.org/etch/glpk>.
Precompiled GLPK binaries (lib, dll, exe) for 32- and 64-bit MS Windows
can be found at <http://winglpk.sourceforge.net/>.
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.1 (MingW32)
iD8DBQFOQXn40XvyMFmB6BgRAgyWAJ44m+1Itx/Mn/10Yv4VRFTMF0xRPwCfbxDs
TGg9rNPzjhcbg4cu5y3NGtk=
=ij1T
-----END PGP SIGNATURE-----
_______________________________________________
GNU Announcement mailing list <info-gnu@gnu.org>
https://lists.gnu.org/mailman/listinfo/info-gnu
