gperf
is executing. It is useful both for
maintaining the program and for determining whether a given set of
options is actually speeding up the search for a solution. Some useful
information is dumped at the end of the program when the `-d'
option is enabled.
Go to the first, previous, next, last section, table of contents.