<html>
<head>
<meta http-equiv="Content-Type" content="text/html;
charset=windows-1252">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix"><br>
clp __tmp.lp -solve -solution file.sol<br>
<br>
On 19/09/17 20:46, Neng-Fa Zhou wrote:<br>
</div>
<blockquote type="cite"
cite="mid:17A58DBF6E31EB419AD4F1D7685E68347BD3D446@surveyor.BrooklynCollege.local">
<meta http-equiv="Context-Type" content="text/html;
charset=iso-8859-1">
<div>Hi,<br>
<br>
CLP seems to be very fast. Here is the log from a run:<br>
<br>
clp __tmp.lp<br>
<span class="sewudhvyy1b5wag"></span><span
class="sewudhvyy1b5wag"></span><br>
Coin LP version 1.15.6, build Dec 23 2013<br>
command line - C:\COIN-OR\win32-msvc11\bin\clp.exe __tmp.lp<br>
Presolve 1033 (-2664) rows, 539 (-793) columns and 2640 (-2666)
elements<br>
0 Obj 0 Primal inf 3499.8508 (433) Dual inf 5313.4152 (423)<br>
99 Obj 0 Primal inf 2792.2468 (237) Dual inf 2708.0535 (324)<br>
194 Obj 0 Primal inf 88.217544 (113) Dual inf 1488.7472 (228)<br>
290 Obj 0 Primal inf 60.806442 (65) Dual inf 811.03491 (139)<br>
385 Obj 0 Primal inf 31.081399 (20) Dual inf 90.675063 (47)<br>
454 Obj 0<br>
Optimal - objective value 0<br>
After Postsolve, objective 0, infeasibilities - dual 0 (0),
primal 0 (0)<br>
Optimal objective 0 - 454 iterations time 0.012, Presolve 0.00<br>
<br>
It's a satisfiability problem. Can anybody tell me how to have
the solution from clp saved into a file?<br>
<br>
Thanks,<br>
-nf<br>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
Clp mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Clp@list.coin-or.org">Clp@list.coin-or.org</a>
<a class="moz-txt-link-freetext" href="https://urldefense.proofpoint.com/v2/url?u=https-3A__list.coin-2Dor.org_mailman_listinfo_clp&d=DwICAg&c=Ngd-ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=js2M0T-3OIMIVDvokcKjokJbk0F8QOCd0mT4FsVFE88&m=gBeSguogn0StTjd1nnF4B3NXkxOvwY0RDBOeeWjGKuc&s=jPklmjwafBc0DlAh2dCIA9qtyWuL40uEzp_PYUHM7_Q&e=">https://urldefense.proofpoint.com/v2/url?u=https-3A__list.coin-2Dor.org_mailman_listinfo_clp&d=DwICAg&c=Ngd-ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=js2M0T-3OIMIVDvokcKjokJbk0F8QOCd0mT4FsVFE88&m=gBeSguogn0StTjd1nnF4B3NXkxOvwY0RDBOeeWjGKuc&s=jPklmjwafBc0DlAh2dCIA9qtyWuL40uEzp_PYUHM7_Q&e=</a>
</pre>
</blockquote>
<p><br>
</p>
</body>
</html>