Instance Class ASP Contest 09 (Sudoku)

Class Tree
Description The instances in this class have been supplied for the 2nd ASP competition.
Submitter Martin Gebser
Compatible Encodings
Output Predicates
  • size/1
  • square/3
Instances
1 - 10 of 10