2002-03-07  Jukka-Pekka Iivonen  <jiivonen@hutcs.cs.hut.fi>

        * src/analysis-tools.[ch]: Moved into src/tools.
        src/auto-correct.[ch]: Ditto.
        src/goal-seek.[ch]: Ditto.

        * src/solver.h (SolverResults): Added a few more fields to improve
        reporting.

2002-03-07  Jukka-Pekka Iivonen  <jiivonen@hutcs.cs.hut.fi>

        * src/tools/solver/reports.c (solver_limits_report):
	Implemented the initial limits reporting.
        (solver_program_report): Implemented the program statistics
        reporting.