Upgrade to Apalache 0.25.10
hvanz opened this issue · 0 comments
hvanz commented
The released uber jar for the version of Apalache used by default in Modelator (0.25.0) includes Z3 binaries that fail with an error "Unsupported CPU architecture: aarch64" in laptops with M1 chips. Version 0.25.10 solves this problem.