Embedding JS High-Level API in Angular Project

[patlov]

Hello,

I am trying to embed the z3-solver in an angular project like this:

I installed the z3 solver via

npm i z3-solver

But it always throws the error of:

I located the error to be here:

but I have no idea how to fix it.

I also tried to import it via the browser api, but it didnt change much.

Do I miss something?

I appreciate any help! Thank you!