Much of the works was already done in https://github.com/otytlandsvik/SZ3-wasm Thanks @oletytlandsvik :)