@Dekker1 Hi! Hope all is well with you down under! MiniZinc looks very interesting! It might be the right tool for a problem I have been thinking about for a long time!

What I am trying to do is to generate Eurovision scoreboards conditioned on the actual points received in total, and that the set of given points for each voting group is fixed (1-8, 10, 12, the rest are zeros). I hope I can figure it out!