Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Trouble with finding correct path for z3 DLL #1

Open
liy94 opened this issue Jun 4, 2024 · 1 comment
Open

Trouble with finding correct path for z3 DLL #1

liy94 opened this issue Jun 4, 2024 · 1 comment
Labels
bug Something isn't working

Comments

@liy94
Copy link
Collaborator

liy94 commented Jun 4, 2024

Different versions of dotnet (6.0, 7.0, 8.0) causes the z3 DLL to be stored in different directories
@balasub balasub added the bug Something isn't working label Jun 10, 2024
@liy94
Copy link
Collaborator Author

liy94 commented Jun 10, 2024

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug Something isn't working
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@balasub @liy94