Constraint-solver is a project mainly written in Perl, it's free.

Declaratively state your problems, and have their solutions spaces searched