Use z3 version 4.9.1

[NikolajBjorner]

There is a new release of z3 out today.
It doesn't seem to get picked up by the build.
It has some npm version dependencies as well that have changed.
With this release we should be able to remove some of the no-build tags.

[NikolajBjorner]

weird, package.json says I am wrong

[rlisahuang]

Let me look into it

[NikolajBjorner]

Note, this may be blocking at the moment
Z3Prover/z3#6139

[rlisahuang]

So we roll back to 4.8.7 until notified?

[rlisahuang]

I actually don't think that it is a good idea to automate updating z3. A broken / incompatible version can break our code. For any dependency including z3-solver, we would need to test if a newer version is compatible with our codebase before upgrading it.

[rlisahuang]

The update is simple as well. Running yarn install <package_name> locally / in codespaces (not through github workflows) will update package.json and yarn.lock accordingly, which will be later picked up by github actions.

[rlisahuang]

I just enforced z3-solver 4.8.17 on main. Ping me when the update is ready and I'll test and update manually.

[NikolajBjorner]

4.9.1 is out now, npmjs should be updated soon. Let's see if this one works.

[rlisahuang]

4.9.1 merged to main now. I added an ignore-errors flag to the code snippet

(simplify (_char 100000000))

per your request.