Uwe Simm
Results
1
issues of
Uwe Simm
hi, trying to use z3-solver in a project but i'm unable to import the module properly. ``` [9:51:56 AM] ERROR [worker reload] [worker init] Directory import '/Users/uwes/src/mixed/z3_issue/nuxt-app/node_modules/.pnpm/[email protected]/node_modules/z3-solver/build/high-level' is not supported...