Try to support z3 on arm64 linux#125

niyaznigmatullin wants to merge 1 commit intoUnitTestBot:mainUnitTestBot/ksmt:mainfrom

niyaznigmatullin:z3-arm-linuxniyaznigmatullin/ksmt:z3-arm-linuxCopy head branch name to clipboard