/usr/lib/z3/Microsoft.Z3.dll.config is in libz3-cil 4.4.1-0.3build4.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 | <configuration>
<dllmap dll="libz3.dll" target="/usr/lib/x86_64-linux-gnu/libz3.so" os="linux"/>
</configuration>
|