Commit d3c01305 authored by Gaspard Ferey's avatar Gaspard Ferey

Added Require commands.

parent 1d96a8e6
(;#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.
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment