libminizinc icon indicating copy to clipboard operation
libminizinc copied to clipboard
verified publisher icon MiniZinc

Fix documentation restart experiment

Open Dekker1 opened this issue 4 years ago • 0 comments

@dtonhofer pointed out that we have the following comment in our search documentation:

THE CURRENT EXPERIMENT IS USELESS!

-- Location

It looks like @pstuckey added this a long time ago. If this experiment is actually useless, then we should find an alternative. Otherwise, we should remove this comment from the documentation

Dekker1 avatar Sep 26 '21 23:09 Dekker1