Zachary Wimer

This also causes some level of freezing. So I'm adding bug.

@ltfish The same issues I was seeing before still seem to occur in the CI.

@ltfish The push CI is failing too: https://github.com/angr/claripy/actions/runs/3841788720/jobs/6576714321

Should I do anything to get this PR moving?

Perhaps this is its own feature request, but would a toggle to either 'Allow', 'Do not allow', or 'Warn' if duplicate file names are detected be ok? That way the...

Actually, I'll add it and link it here.

@NikolajBjorner For clarification, are you saying this `libz3.dylib (compatibility version 0.0.0, current version 0.0.0)` issue happens only on `12.0`; and that the `z3-solver==4.12.1.0` release is distributing the `12.0` library, but...

@NikolajBjorner I'm not sure what the `12.0` and `12.1` discrepancy is; both my pip and brew installs are `12.1`. This issue was meant to be about this: > I don't...

> what is the fix? I'm not sure what is causing the `0.0.0` version issue; it is only on the `pip` build not the `homebrew` build, so it might be...

@NikolajBjorner Just making sure this wasn't forgotten. Should this issue be: 1. Reopened as the issue still presists 2. A new issue made linking this 3. Labeled as a "won't...