David Tonhofer
Results
62
issues of
David Tonhofer
Introduced SIZE and POINT as used on the slides. Changed comments for clarity: "points" "tunnel exits" and "cells" "huts" Changed i,j, to x,y in forall to correspond to predicate call...
Added lots of comments to make this problem clearer. Also added code to generate "explainer output" when a solution has been found. Note that there is a typo which remains:...
Added nicer comments
Might be useful when newcomers pick the code apart