solve for palindromes within any word, get all combinations too
A symbolic physics solver
Constraint Satisfaction Problem (CSP) solver