volisoft
volisoft
Confirmed, RPI4 8GB works well enough. Tested by running QEMU VM script from the examples.
Is token authentication planned for 1.x release?
This behavior is actually documented here: https://www.npmjs.com/package/z3-solver?activeTab=readme > The Emscripten worker model will spawn multiple instances of z3-built.js for long-running operations. When building for the web, you should include that...
You're likely running Raspberry Pi or similar. Seems like jemalloc page size needs to be adjusted.