Get the latest tech news
Exo: Exocompilation for productive programming of hardware accelerators
Exocompilation for productive programming of hardware accelerators - exo-lang/exo
Depending on your setup, getting PySMT to work correctly may be difficult. We have included the z3-solver package as a requirement, which will hopefully avoid this issue, but you can also install z3 (or your choice of solver) independently. For testing x86 features on processors which don't support them (e.g., AVX-512 or AMX), we rely on the Intel Software Development Emulator as an optional dependency.
Or read this on Hacker News