cspsolver Simple app for solving Constraint Satisfaction Problems using backtracking and forward checking methods. Example program output for two logic games: Skyscrapers Futoshiki