A simple CSP solver in Haskell with example problems.