Class Tree
Description A su-doku solver, it is very simple and suprisingly quick. It took about 20 minutes to write and about 10 minutes to debug and thus I use it as an example of the power of answer set programming as a problem solving technique.

http://www.cs.bath.ac.uk/~mjb/asp/
Encodings
1 - 3 of 3