Re: [Help-glpk] order restrictions

[Robbie Morrison]

Hello Robin

------------------------------------------------------------
To:           Andrew Makhorin <address@hidden>
Subject:      Re: [Help-glpk] order restrictions
From:         robin hankin <address@hidden>
Date:         Fri, 2 Nov 2012 10:56:45 +1300
------------------------------------------------------------

[snip : suggestion to use MiniSat]

> Heh.  Using 'glpsol --minisat' gave the answer almost
> instantaneously [it took ~15 hours without the
> --minisat option].
>
> Could this option be mentioned in the
> examples/read.me file please?
>
> :-)

It is now covered in the GLPK wikibook in
the "Slow models" section:

  
http://en.wikibooks.org/wiki/GLPK/Troubleshooting#Constraint_programming_problems

Note also the MiniSat entry proper:

  
http://en.wikibooks.org/wiki/GLPK/Mixing_GLPK_with_other_solver_packages#MiniSat_CNF-SAT_solver

> Robin
>
> --
> Robin Hankin
> Uncertainty Analyst
> address@hidden

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