bin:bin/z3
lnk:lib/libz3.so
lnk:lib/libz3.so.4.11
lib:lib/libz3.so.4.11.2.0
