Update to the Java bindings? #5347
marlinroberts21
started this conversation in
General
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
I noticed that the Java bindings are rather old and pre-date the inclusion of z3str3 into z3. Can these be updated to expose the C++ API functions described in the z3str3 documentation? Or is that something that should be directed to the z2str3 team?
Beta Was this translation helpful? Give feedback.
All reactions