🚀 go-pugleaf

-----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.glpk@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-----