Re: [Help-glpk] Problem Diagnostics

[Robbie Morrison]

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):

  
http://en.wikibooks.org/wiki/GLPK/Using_the_GLPK_callable_library#Recently_added_GLPK_APIs
  
http://en.wikibooks.org/wiki/GLPK/Using_the_GLPK_callable_library#Deprecated_GLPK_APIs

  4.74 additions (no deprecations)

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

  4.46 additions (no deprecations)

     glp_read_cnfsat
     read CNF-SAT problem data in DIMACS format

     glp_write_cnfsat
     write CNF-SAT problem data in DIMACS format

     glp_check_cnfsat
     check CNF-SAT problem instance

     glp_minisat1
     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
---
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]