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