Bug#842892: java.lang.UnsatisfiedLinkError: libz3java.so: undefined symbol: Z3_solver_get_model

[Andreas Beckmann]

Followup-For: Bug #842892

Hi,

I've just opened 2 PU requests to get this bug fixed in buster and
stretch:
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=935576
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=935581

Andreas