No, I didn't know about the project. Thx for sharing. PS: Some of the solvers I am targeting on in the future are C/C++. E.g. I am working on interfacing with https://highs.dev/. If I understand correctly, then the above is only for Rust.
a
altavir
02/13/2025, 6:35 AM
Yes, it uses Rust UniFFI generator, which makes it possible to generate wrappers automatically. Sadly, it is not possible for C and C++.