single-digit cross sum

[Susi Seiber]

How can I form the single-digit cross sum of a number in minizinc? I can't find anything in the tutorial that helps me.

[Jip Dekker]

There is no function in the standard library to compute the cross sum of a number, but it can be easily written in MiniZinc using the arithmetic builtins. You can find builtins for logarithms, exponentiation, and other mathematical operations in the standard library.

(I've removed my original response, as I was made aware that this problem is often a student assignment).

Good luck!

[Susi Seiber]

Hi Jip

I'm not a student.
I am a 69 year old geocacher, I was looking for this function to solve a geocach.
https://coord.info/GC6A1P2
Anyway, thank you very much for your answer.

[Jip Dekker]

Sorry, I didn't mean to accuse you of anything. I was just made aware that this problem is often part of assignments, and since this mailing list is publicly accessible and there are various MiniZinc courses, so I didn't want to leave it for google to index it.

I assume you would have still received the initial response I wrote, otherwise feel free to send me a email directly and I'll be happy to help you further.

Good luck with the cache!

[Susi Seiber]

No problem
I was now able to solve it with Excel. Four numbers were clear based on the Swissgrid coordinates, the others via trial and error until it worked.
Thank you again for the support.