(The html version of the manual was produced by latex2html and has some
problems, although it should still be usable.)
The following book is on reserve in the
Engineering Library:
Programming with Constraints: An Introduction, by Kim Marriott and
Peter J. Stuckey.
(The online material should be sufficient for 341 however.)
