Artificial intelligence course - Uwr Tasks solutions for AI course at uni. In folder Lista2/zad1 you can find csp.py file which is a csp solver.