Automated Slitherlink puzzle solver in Python using Constraint Satisfaction (CSP), MRV heuristic, and DFS backtracking with GUI.