z3opt with Java API

Sep 16, 2014 at 1:48 PM

can I use the z3opt functionalities with the Java API?
If yes: which object does offer that .. I didnt find the right one so far.
Sep 16, 2014 at 3:38 PM
The optimization features have not been added to that API yet. However, the very basic parts of the Java API are automatically generated when scripts/mk_make.py is run with the --java option and thus very basic support is available (see the functions called optimize* in Native.java/.cpp,. At the moment you'd have to be careful about casting objects and keeping the right reference counts of them as this is not implemented yet.