Solver for a Constraint Satisfaction Problem using backtracking search as a basis. Written in Python.