CSP Solvers in Scala