Code

Try to support z3 on arm64 linux#125

Code

Draft

niyaznigmatullin wants to merge 1 commit intoUnitTestBot:mainUnitTestBot/ksmt:mainfrom niyaznigmatullin:z3-arm-linuxniyaznigmatullin/ksmt:z3-arm-linuxCopy head branch name to clipboard

+6-3

Commits

Commits on Aug 1, 2023

• Try to support z3 on arm64 linux

  niyaznigmatullin

  committed
  769d7da

  Copy full SHA for 769d7da