I would like to reproduce the work presented in a paper. The work encodes binary tree. Do you know where I can find tutorials for encoding binary tree using MiniZinc?
