...
 
Commits (2)
(;#REQUIRE sudoku.;)
#REQUIRE sudoku.
def 1 := sudoku.1.
def 2 := sudoku.2.
......
(;#REQUIRE sudoku.;)
#REQUIRE sudoku.
#EVAL sudoku.solve_sudo sudoku.empty_sudo.
......
(;#REQUIRE sudoku.;)
#REQUIRE sudoku.
def 1 := sudoku.1.
def 2 := sudoku.2.
......
(;#REQUIRE sudoku.;)
#REQUIRE sudoku.
def 1 := sudoku.1.
def 2 := sudoku.2.
......