Programming Project

Test email went out. Did you get it?

Here's some information concerning the first programming project.

• I'd like you to form groups of two to carry out this project. Each group should send me email telling me who is in the group.
• The SAT solver code is available online at /usr/project/courses/cps271/sat-pack (usage instructions below).
• If you don't have a CS account, you can request one or download the code from ftp://ftp.research.att.com/dist/ai/sat-package.tar.Z .