Trouble with finding correct path for z3 DLL

[liy94]

Different versions of dotnet (6.0, 7.0, 8.0) causes the z3 DLL to be stored in different directories

[liy94]

The local paths to package is:

/Users/finn/.dotnet/tools/.store/vuisis.formula.arm64/1.0.189/vuisis.formula.arm64/1.0.189/tools/net6.0/any/runtimes/osx-arm64/native/libz3.dylib

However, the dll searches for the z3 in path:
/Users/finn/.dotnet/tools/.store/vuisis.formula.arm64/1.0.189/vuisis.formula.arm64/1.0.189/tools/net6.0/any/libz3.dylib