com/microsoft/z3/osx/amd64/libz3java.dylib
Mach-O binary is not digitally signedMach-O dylib load path uses @loader_path
SHA-2566d247c97a8b4ff1eb6fbdecefc024b51b9c75ae520c7e0ae1300a3f03ba4d020
MaleculeMd₂(Bi₂Si)
Evidence
0x0cffaedfe070000010300000006000000................
0x1010000000800400008500110000000000................
0x2019000000d80100005f5f544558540000........__TEXT..
0x3000000000000000000000000000000000................
0x4000c00000000000000000000000000000................
⋯7 more rows