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

https://www.youtube.com/watch?v=TA9DBG8x-ys

Links to stuff mentioned

https://github.com/Engelberg/ycover

Rolling Stones - bindings to Java Sata solver Sat4j

https://github.com/Engelberg/rolling-stones

https://www.youtube.com/watch?v=d76e4hV1iJY

Tarantella - Dancing Links

https://github.com/Engelberg/tarantella

Loco - Choco   - CSP solver in java

https://www.youtube.com/watch?v=AEhULv4ruL4

SMT vs CSP?

https://cstheory.stackexchange.com/questions/29406/constraint-satisfaction-problem-csp-vs-satisfiability-modulo-theory-smt-wi

I guess the difference is the community as perspective. CSP tends to be from AI. SMT comes from formalizing and proving correctness of programs.