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
-
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