Yaocao example updated with notes#21

dtonhofer wants to merge 1 commit intoMiniZinc:masterMiniZinc/specialization-examples:masterfrom

dtonhofer:yaocao_example_updatedtonhofer/specialization-examples:yaocao_example_updateCopy head branch name to clipboard