Shiwei Weng 翁士伟
Shiwei Weng 翁士伟
I see the fix is in v1.5. Thanks.
This phenomenon reappears if running with stanza defined in dune file. It works fine if I build the test executable and run that file outside of dune. ```console λ make...
Thank you so much for your careful examination. This is one reason I would like to make this immature draft PR. I am learning how z3 is installed on some...
Aha, I was occupied by some random things after the previous effect on this issue in July. I hope to pick this up this month.
I made some updates (finally) to the PR. After it looks good to you, I can cherry-pick them to the latest commit and make another PR. For the previous review,...
Cool for the merging. There is a debug helper `makefile` in it (which shouldn't be a big deal and I will remove it in the next PR for the next...
I see. Let me check if z3 (not ocaml-z3) itself works well on Python 3.12 otherwises we can probably require a Python prior to 3.12.
I found the z3.4.13.0 on [homebrew](https://github.com/Homebrew/homebrew-core/blob/HEAD/Formula/z/z3.rb#L28C15-L28C26) at macos just works fine with Python 3.12. I also tried it on my mac and it obviously has no `distutils`. I guess `distutils`...
I don't think `distutil` is really used in z3 anymore (asking for confirmation with this issue https://github.com/Z3Prover/z3/issues/7228). Let me just make a new opam by removing this.
I have no idea..I heard that `distuils` is not supported by Debian after Python 3.12, but it's not clear whether it's still used or necessary. btw, I finally found some...