Z3 java bindings?

Vote count:

0

is the information on this page still up to date?

http://ift.tt/1CcbYvq

I see that both rc and stable have a examples/java folder with an actual example,

does it mean that java bindings are now part of the stable/rc branch?

How can I enable and build them?

Regards,

asked 2 mins ago

remi

65

Z3 java bindings?