7 ms·
For anyone trying to reproduce it in an Android phone you don't need to compile anything. Just "apt install z3" in Termux. It will probably be pretty slow but i
by nromiun 6y ago
For anyone trying to reproduce it in an Android phone you don't need to compile anything. Just "apt install z3" in Termux. It will probably be pretty slow but it will work.
- panpanna 6y agoZ3 is not available on termux (I am pretty sure it has been before). Back to the issue at hand. It is possible z3 is faster on arm64 due to the aarch64 bitfield instructions, but I find that unlikely.
- nromiun 6y agoIt was recently merged but it is available. https://github.com/termux/termux-packages/tree/master/packages/z3 https://github.com/termux/termux-packages/tree/master/packag...
- panpanna 6y agoSounds it, thanks. Had to update the yermux app first to see it. Yes, z3 performs slightly betteron aarch64. But performance seems to be mostly cache dependent. Also, z3 is threades which would favor Apple with their fewer but faster cores compare to others with more but weaker cores.
- panpanna 6y agoHmmm... I think my autocorrect had a meltdown. Hopefully people can figure it out anyway.