A Python program to solve constraint satisfaction problems (CSP).