Marharyta

could you please have a look at this commit? [here it is](https://github.com/artemsky/ng-snotify/pull/61/commits/83c155db4fa77e9e4eac19043b70984f371e6779 ) i'm not sure, that its already in prod

> There is currently no js API support for strings. You can find the wrapper for "Int" here: > > https://github.com/Z3Prover/z3/blob/d5fe4b0d78ef109582e9562adb9a67d33a8871ea/src/api/js/src/high-level/high-level.ts#L668 > > > There are no corresponding wrappers for...

> There are now official builds and bindings of z3, with full support for threads in cases like timers. Initial load also takes less than 3 seconds on latest Safari,...