User Manual and Research Notebooks for CSP-Rules

CSP-Rules offers a versatile, pattern-based solver for finite binary Constraint Satisfaction Problems, providing tools for a variety of logic puzzles. Available on GitHub, it features fully developed applications for popular games like Sudoku, Latin Squares (including Pandiagonal variants), Futoshiki, Kakuro, Numbrix, Hidato, Slitherlink, and Map Colouring, making it an essential resource for puzzle enthusiasts and developers alike.