Shiwei Weng 翁士伟

Is java binding still using the `mk_make` or shifting to cmake?

Can it be extended to solve the problem due to the missing of `/dev/snd/seq`? I saw similar error in random programs e.g. `mame` or `aconnect -o` ``` ALSA lib seq_hw.c:466:(snd_seq_hw_open)...

Oh, it's WIP. Let me finish it next week. I have some unpushed commits and was working on the CI testing for an integration test with opam installation last month...

It should do and that's my plan. I also recall the current ocaml binding has some building error due to the changed APIs (when I compiled it last month), which...

Here is some update. Now the z3 and the opam-z3 both build and run well on CI ([z3 result](https://github.com/arbipher/z3/actions/runs/15745038749), [opam-z3 result](https://github.com/arbipher/opam-repository/actions/runs/15747740273)). For z3 source, I keep the cmake default linking...

It's a bad thing, which means the OCaml datatype doesn't update with the latest C/C++ API, but it's also not in the OCaml document so I don't think real people...

I am not familiar with Nix yet, but I would be happy to know. If any related problem occurs, feel free to ping me. I haven't made PR for opam...

The **building** of ocaml binding can be triggered https://github.com/Z3Prover/z3/blob/f544dd4ab2cec2567405204d7c3ac4cbefd2d20c/.github/workflows/ocaml.yaml#L78-L81 The relevant outputs should be in `build/src/api/ml`. The **installation** of ocaml binding, in my current unpushed PR, is not performed by...

(Solved. See notes in the end) Here are some experiments for homebrew. The normal homebrew packages are prebuilt, but you can also build from source. For normal z3 **prebuild** packages,...

I have been thinking about this question for installing language packages, e.g., ocaml-z3, into system package managers, e.g., apt/dpkg (or nix if as I guess). As an OCaml developer, for...