Pre-built bindings?

[stahlbauer]

Hi,

I would love to use your TypeScript bindings for Z3.wasm in one of my (research) projects. Would it be possible to release pre-built versions of the bindings?

This would help me a lot since I have troubles building the bindings on my Debian 10 machine (./src/util/lp/permutation_matrix.h:135:44: error: no viable conversion from returned value of type 'const vector<unsigned int>' to function return type 'unsigned int *' unsigned * values() const { return m_permutation; }).

[stahlbauer]

FYI: I have fixed the compilation issue by using an older version of Z3. See also cpitclaudel/z3.wasm#5