/rba.tool.editor.endpoint/lib/linux/z3/bin/
../
Microsoft.Z3.dll
com.microsoft.z3.jar
libz3.a
libz3.so
libz3java.so
python
z3