I was listening to this guy on this podcast Programming Throwdown and really liked the cut of his jib. So I sought out the talks he mentioned
Links to stuff mentioned
Rolling Stones – bindings to Java Sata solver Sat4j
Tarantella – Dancing Links
Loco – Choco – CSP solver in java
SMT vs CSP?
I guess the difference is the community as perspective. CSP tends to be from AI. SMT comes from formalizing and proving correctness of programs.