specialization-examples
specialization-examples copied to clipboard
MiniZinc
Results
15
specialization-examples issues
Sort by
recently updated
recently updated
newest added
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:...