I am trying to change to output format of the logfile of Z3 to SMT2 format using the JNI Interface (Java). This problem was marked solved in issue #867, but the method implemented later changed.
According to the changelog it should be possible (in C) with solver.smtlib2_log = file
now. However, I am unable to set this parameter in Java because it doesn't exist for setParameter()
or any other Solver Module command. Am I missing something or is this only possible in non-JNI at the moment?
Thanks for your assistance.