On the topic of the portability of Z3, does anyone know why this example runs fine on native amd64 but fails to solve when built with emscripten/wasm? https://

On the topic of the portability of Z3, does anyone know why this example runs fine on native amd64 but fails to solve when built with emscripten/wasm? https://github.com/sielicki/z3wasm https://github.com/sielicki/z3wasm Do a build by running, “mkdir bld && cd bld && emcmake cmake ../ -GNinja && emmake ninja”