Christian Heitman

Hey @JonathanSalwan o/ Nice! Indeed, there was a bug there '^^. I just built the `.whl` for both Ubuntu and Windows and it works fine. Replying to your question, no,...

Awesome @JonathanSalwan :D I'll add support for Bitwuzla in Linux later today.

How did you build it exactly? What interfaces did you turn on?

First, you don't need to run `cmake` by your own for building the `whl` package, `python -m build --wheel` take care of that. So, you only need to type: ```bash...

Hey! An update on this issue. * Linux: I tweaked and fixed the building process. I did some testing and it's working fine. * macOS: I fixed the packaging process....

Hey o/ Another update. * Windows: I managed to compile LLVM and build the `whl` package successfully. Now, the windows version of the package have support for Z3, Bitwuzla and...

Hi! Yes, it is still of interest. Any help will be very much appreciated. Let me know when you are ready and we'll talk about the details.

Great! :) Yes, your assessment is accurate. All the changes should be made in the `smttranslator`module. Yes, the current tests need to be improved. We use BARF in another project...

I would definetly like a cleaner separation between formula and solver. I'm not sure, right now, which is the best way to achieve this; I need to take a better...

An update on this. I refactored the entire smt package. It changed quite a bit from last time. I keep only functionality that was used and removed the rest. Now...