[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Help-glpk] Problem Diagnostics

From: Robbie Morrison
Subject: Re: [Help-glpk] Problem Diagnostics
Date: Tue, 22 Jan 2013 06:22:03 +1300
User-agent: SquirrelMail/1.4.22

Hi Reg, all

To:           glpk <address@hidden>
Subject:      [Help-glpk] Problem Diagnostics
From:         Reginald Beardsley <address@hidden>
Date:         Mon, 21 Jan 2013 06:38:01 -0800 (PST)

> NB I'm using a hardcopy of the reference manual
> marked 4.43 (it's from the 4.45 distribution) so
> if there are changes to the manual that would help
> please let me know.  I much prefer to read
> physical books, but don't want to kill trees for
> minor changes.

Since 4.45 (ignore the incorrect 4.43 marking,
these strings are often wrong):

  4.74 additions (no deprecations)

    solve CNF-SAT problem instance with GLPK code (tentative)

  4.46 additions (no deprecations)

     read CNF-SAT problem data in DIMACS format

     write CNF-SAT problem data in DIMACS format

     check CNF-SAT problem instance

     solve CNF-SAT problem instance with MiniSat

So, quite possibly, nothing very much has changed,
outside of that listed above.  And I am guessing you
won't need to go near these features.

Robbie Morrison
PhD student -- policy-oriented energy system simulation
Technical University of Berlin (TU-Berlin), Germany
University email (redirected) : address@hidden
Webmail (preferred)           : address@hidden
[from Webmail client]

reply via email to

[Prev in Thread] Current Thread [Next in Thread]