I wonder: how do they perform those computations? It is not (afaik) that there are compilers available for iOS. Or are there? Honest question, just wondering.

I wonder: how do they perform those computations? It is not (afaik) that there are compilers available for iOS. Or are there? Honest question, just wondering. Sorry: answered it myself. See the instructions: https://github.com/jamesbornholt/z3-ios https://github.com/jamesbornholt/z3-ios