Assignment V

Due date Nov. 27.

Implement CHAFF, the fast satisfiability solver, in ML (paper distributed in class).