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.