XPost: comp.lang.lisp
FYI, here is an interesting paper about playing Mastermind using a SAT
solver, beating other approaches. Mastermind turns out to be well-known
to be NP-complete (a quick web search found that).
https://www.seas.upenn.edu/~ncollina/Mastermind.pdf
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)