| 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/ |
| Submitter | Martin Gebser |
| Compatible Encodings | |
| Output Predicates |
|
| Instances 1 - 8 of 8 |
|
Expand All
Collapse All
