# Instance sudoku81.lp

Name sudoku81.lp [Root]    Grids (772)    Su-Doku (18) Martin Gebser 2009-03-30 13:03 2008-11-29 00:09 su-doku-clean.lp % Derived from a file called sudoku81.lp % From http://www.probp.com/bench.tar.gz as suggested by nzhou@acm.org % From the original... % File : sudoku81.pl (in B-Prolog) % Author : Neng-Fa ZHOU % Date : 1996 % Purpose: solve a Japanese arithmetic puzzle (9*9) %%#const sub=3. size(3). %% Position gives a two dimensional index for each square position(1).position(2).position(3).position(4).position(5).position(6).position(7).position(8).position(9). %% Each square may take a range of values value(1).value(2).value(3).value(4).value(5).value(6).value(7).value(8).value(9). state(2,1,6). state(4,1,2). state(6,1,4). state(8,1,5). state(1,2,4). state(2,2,7). state(5,2,6). state(8,2,8). state(9,2,3). state(3,3,5). state(5,3,7). state(7,3,1). state(1,4,9). state(4,4,1). state(6,4,3). state(9,4,2). state(2,5,1). state(3,5,2). state(9,5,9). state(1,6,6). state(4,6,7). state(6,6,9). state(9,6,8). state(3,7,6). state(5,7,8). state(7,7,7). state(1,8,1). state(2,8,4). state(5,8,9). state(8,8,2). state(9,8,5). state(2,9,8). state(4,9,3). state(6,9,5). state(8,9,9).