Hacker News new | past | comments | ask | show | jobs | submit
Use Constraint Satisfaction Problem Solvers. It commes up with Common Lisp with ease.