https://github.com/caneroj1/csp

Generic constraint satisfaction algorithms
https://github.com/caneroj1/csp

Last synced: about 2 months ago
JSON representation

Generic constraint satisfaction algorithms

• Host: GitHub
• URL: https://github.com/caneroj1/csp
• Owner: caneroj1
• License: bsd-3-clause
• Created: 2016-12-08T23:58:30.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2016-12-16T04:35:19.000Z (over 8 years ago)
• Last Synced: 2025-02-03T11:47:56.488Z (4 months ago)
• Language: Haskell
• Size: 16.6 KB
• Stars: 2
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# csp

Generic constraint satisfaction algorithms in haskell. Going through an AI textbook to learn some basic AI principles. This implements

a backtracking solver for constraint satisfaction problems. It uses Node Consistency and Arc Consistency (AC3) for preprocessing steps,

and employs the Minimum Remaining Values, Degree, and Least Constraining heuristics during the backtracking algorithm.