/Solvers/SMT-Solver/com.microsoft.z3/lib/
../
libz3.dll
libz3.dylib
libz3.so
libz3java.dll
libz3java.dylib
libz3java.so