Add signature for CSP solvers