User Manual and Research Notebooks for CSP-Rules

by Denis Berthier

CSP-Rules is a generic pattern-based (or rule-based) solver of finite binary Constraint Satisfaction Problems (CSPs). This software is available on GitHub and it includes fully developed applications to various logic puzzles such as Sudoku, Latin Squares (allowing their Pandiagonal variant), Futoshiki, Kakuro, Numbrix, Hidato, Slitherlink and Map Colouring. CSP-Rules produces not only the solution to a CSP (as all the existing CSP solvers) but also...

• Format: Paperback
• Language: English
• ISBN: B0CN29G291
• ISBN13: 9781447527145
• Release Date: July 2023
• Publisher: Lulu.com
• Length: 342 Pages
• Weight: 1.06 lbs.
• Dimensions: 0.7" x 6.1" x 9.2"