Demonstration of traditional artificial intelligence problems and techniques (genetic algorithms, constraint satisfaction e.t.c). Code is old but was revisited and improved this year. four_color_map uses genetic algorithms to demonstrate the four color theorem (https://en.wikipedia.org/wiki/Four_color_theorem).
python-constraint for nfractions.py, queens_constraint.py