Trouble with finding correct path for z3 DLL

VUISIS / FormulaLLMPY

Poetry package for the Formula LLM python code.

Other

0 stars 0 forks source link

Trouble with finding correct path for z3 DLL #1

Open liy94 opened 3 months ago

liy94 commented 3 months ago

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

liy94 commented 3 months ago

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