All the Perl that's Practical to Extract and Report
Typed "constraint propagation" into google last night. This looks interesting. He has first class constraints, implements a few solvers, then shows off some novel programming techniques (I guess. Haven't read that far yet)
