public subroutine create_puzzle_with_unique_solution(grid, nb_empty)
Creates a minimal puzzle.
Digits are randomly removed one by one. The process ends when it is not
possible anymore to remove a digit while keeping a unique solution.
The number of remaining digits is therefore a priori unknown.
Nodes of different colours represent the following:
Solid arrows point from a procedure to one which it calls. Dashed
arrows point from an interface to procedures which implement that interface.
This could include the module procedures in a generic interface or the
implementation in a submodule of an interface in a parent module.