node-compat: z3-solver #17171
Description
import { init } from "npm:z3-solver";
const { Context } = await init();
const { Solver, Int, And } = new Context("main");
const x = Int.const("x");
const solver = new Solver();
solver.add(And(x.ge(0), x.le(9)));
console.log(await solver.check()); // line that failserror:
error: Uncaught RangeError: Maximum call stack size exceeded
this._events = Object.create(null);
^
at Function.create (<anonymous>)
at _Worker.EventEmitter.init (https://deno.land/[email protected]/node/_events.mjs:176:27)
at new EventEmitter (https://deno.land/[email protected]/node/_events.mjs:56:21)
at new _Worker (https://deno.land/[email protected]/node/worker_threads.ts:49:5)
at new _Worker (https://deno.land/[email protected]/node/worker_threads.ts:55:36)
at new _Worker (https://deno.land/[email protected]/node/worker_threads.ts:55:36)
at new _Worker (https://deno.land/[email protected]/node/worker_threads.ts:55:36)
at new _Worker (https://deno.land/[email protected]/node/worker_threads.ts:55:36)
at new _Worker (https://deno.land/[email protected]/node/worker_threads.ts:55:36)
at new _Worker (https://deno.land/[email protected]/node/worker_threads.ts:55:36)
Also there seem to be a lint issue ?
The node packagae has z3-solver/browser recomends z3-solver/browser for browsers, but I don't know how to use this with deno becasue using
import { init } from "npm:z3-solver/browser";errors
error: Unable to load /home/mrcool/.cache/deno/npm/registry.npmjs.org/z3-solver/4.11.2/browser imported from file:///home/mrcool/dev/deno/lab/qqq.ts
Caused by: