Instance Class Su-Doku

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.
Submitter Martin Gebser
Compatible Encodings
Output Predicates
    1 - 8 of 8