I would like to reproduce on MiniZinc the work presented in a paper. The work regards encoding decision tree. The image below shows the propositional variables. How can I wr
