3 ms·
https://homes.cs.washington.edu/~bornholt/post/z3-iphone.html https://homes.cs.washington.edu/~bornholt/post/z3-iphone.htm...
by hamilyon2 8y ago
https://homes.cs.washington.edu/~bornholt/post/z3-iphone.html https://homes.cs.washington.edu/~bornholt/post/z3-iphone.htm...
- pfortuny 8y agoI 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