Interactive implementation of Arc Consistency Algorithm #3
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
.gitignore
.travis.yml
LICENSE
README.md
ac3.py
ac3.test.py
ac3_interactive.py

README.md

ac-3

MIT license Build Status

Interactive implementation of Arc Consistency Algorithm #3 (a method for solving constraint satisfaction problems).

Solves for CSPs with binary constraints.

Requirements

  • Python 3.5+

Running

The core program is in ac3.py. Run an interactive version (with example inputs) with python3 ac3_interactive.py (use the enter key to continue through each step in the algorithm).

Testing

Run tests with python *.test.py -v.