GNU Libraries

If the readline and history libraries are available, the interactive solver will have command history and command completion available. This functionality is only available in Unix-like environments by configuring with the -enable-gnu-packages option (see below).



Ted Ralphs
2007-06-12