Bertrand Update

[wm]

I have made some significant updates to Bertrand. All updates are
uploaded to the file BERTRAND.zip

http://groups.google.com/group/bertrand-constraint

Here are the changes:

I worked on the documentation a bit. There are now two documents:
Documentation.html and Guide.html. The file Reference.html is now
gone. The old troff files are saved in the "old" directory.

I made some changes to the source file src/match.c to improve
debugging a bit.

I added a new example program, examples/monkey, which is a brainteaser
from the book.

The most significant change is that I added several new rules to
library/beep (the equation solver) so that it could solve the new
example program. These new rules make the Bertrand equation solver
much more powerful.

I moved the examples and libraries directories out of the src
directory.

Have a Happy New Year!