Hello Robin ------------------------------------------------------------ To: Andrew Makhorin <[email protected]> Subject: Re: [Help-glpk] order restrictions From: robin hankin <[email protected]> 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 > [email protected] 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) : [email protected] Webmail (preferred) : [email protected] [from Webmail client] _______________________________________________ Help-glpk mailing list [email protected] https://lists.gnu.org/mailman/listinfo/help-glpk
