These Python programs use the logilab-constraint library to do constraint satisfaction. They are from the examples directory in the logilab-constraint distribution, and require the library to run.
- Sudoku solver:
sudoku.py(modified from original to find all solutions) - n queens puzzle solver:
queens.py
[Would really like a Pyke example here too, but it seems slightly painful.]