Researching SMT for CSP