Hi,
I am interested in the project. I suppose you need a code to convert your CSP problem. Are you fine with C, C++, python or you want any other language. Is your problem binary? Are the constraints imperative? If you can share details of your problem I can make better statement on method otherwise we can use tree decomposition. If you want to discuss this further, please let me know.
Regards
Sourabh