in reply to Trial and error problems in Perl
Chapter 9 of dominus' Higher Order Perl covers constraint systems; that might be of interest.