(The html version of the manual was produced by latex2html and has some
problems, although it should still be usable.)
Two copies of the following book are 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.)