<HTML><BODY style="word-wrap: break-word; -khtml-nbsp-mode: space; -khtml-line-break: after-white-space; "><DIV><FONT class="Apple-style-span" color="#000000">Hi!</FONT></DIV><DIV><FONT class="Apple-style-span" color="#000000"><BR class="khtml-block-placeholder"></FONT></DIV><DIV><FONT class="Apple-style-span" color="#000000">I compiled SYMPHONY 5.1.2 with the option --</FONT><FONT class="Apple-style-span" color="#000000">enable-gnu-packages. The required libraries are installed on my Ubuntu Linux distribution:</FONT></DIV><DIV><FONT class="Apple-style-span" color="#000000"><BR class="khtml-block-placeholder"></FONT></DIV><DIV><FONT class="Apple-style-span" color="#000000"><BR class="khtml-block-placeholder"></FONT></DIV><DIV><FONT class="Apple-style-span" color="#000000"><FONT class="Apple-style-span" face="Courier"><FONT class="Apple-style-span" size="2"><SPAN class="Apple-style-span" style="font-size: 10px;">mmundschenk@gutenberg:~/SYMPHONY-5.1.2/bin$ dpkg -l |grep readline</SPAN></FONT></FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#000000"><FONT class="Apple-style-span" face="Courier"><FONT class="Apple-style-span" size="2"><SPAN class="Apple-style-span" style="font-size: 10px;">ii libreadline5 5.1-7build1 GNU readline and history libraries, run-time</SPAN></FONT></FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#000000"><FONT class="Apple-style-span" face="Courier"><FONT class="Apple-style-span" size="2"><SPAN class="Apple-style-span" style="font-size: 10px;">ii readline-common 5.1-7build1 GNU readline and history libraries, common f</SPAN></FONT></FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#000000"><FONT class="Apple-style-span" face="Courier"><FONT class="Apple-style-span" size="2"><SPAN class="Apple-style-span" style="font-size: 10px;">mmundschenk@gutenberg:~/SYMPHONY-5.1.2/bin$ dpkg -l |grep history</SPAN></FONT></FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#000000"><FONT class="Apple-style-span" face="Courier"><FONT class="Apple-style-span" size="2"><SPAN class="Apple-style-span" style="font-size: 10px;">ii libedit2 2.9.cvs.20050518-2.2 BSD editline and history libraries</SPAN></FONT></FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#000000"><FONT class="Apple-style-span" face="Courier"><FONT class="Apple-style-span" size="2"><SPAN class="Apple-style-span" style="font-size: 10px;">ii libreadline5 5.1-7build1 GNU readline and history libraries, run-time</SPAN></FONT></FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#000000"><FONT class="Apple-style-span" face="Courier"><FONT class="Apple-style-span" size="2"><SPAN class="Apple-style-span" style="font-size: 10px;">ii readline-common 5.1-7build1 GNU readline and history libraries, common f</SPAN></FONT></FONT></FONT></DIV><DIV><FONT class="Apple-style-span" color="#000000"><BR class="khtml-block-placeholder"></FONT></DIV><DIV><FONT class="Apple-style-span" color="#000000">configure and make run without an error, but command history and command completion don't work. </FONT></DIV><DIV><FONT class="Apple-style-span" color="#000000"><BR class="khtml-block-placeholder"></FONT></DIV><DIV><FONT class="Apple-style-span" color="#000000">Further more: When I run the solver, it is not possible to stop symphony. When I try to abort and confirm with "y" the solver keeps on solving. The only way to abort is to kill the process.</FONT></DIV><DIV><FONT class="Apple-style-span" color="#000000"><BR class="khtml-block-placeholder"></FONT></DIV><DIV><FONT class="Apple-style-span" color="#000000">Martin</FONT></DIV><DIV><FONT class="Apple-style-span" color="#000000"><BR class="khtml-block-placeholder"></FONT></DIV><DIV><BR class="khtml-block-placeholder"></DIV></BODY></HTML>