factor out generic api for csp, initialize dep of
AC3 algorithm