3 ms·
Z3 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 bitfiel
by panpanna 6y ago
Z3 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.