java.lang.UnsatisfiedLinkError: no libz3java in java.library.path

GitHub | ChaofengZhou | 9 months ago
tip
Do you find the tips below useful? Click on the to mark them and say thanks to Rafael Fischer Viola . Or join the community to write better ones.
  1. 0

    Unable to install jConstraints-z3

    GitHub | 9 months ago | ChaofengZhou
    java.lang.UnsatisfiedLinkError: no libz3java in java.library.path
  2. 0
    samebug tip
    Caused by fail to load the necessary libraries. Try to reinstall the app.
  3. 0

    GitHub comment 294#167294106

    GitHub | 1 year ago | markusvoelter
    java.lang.UnsatisfiedLinkError: no libz3java in java.library.path
  4. Speed up your debug routine!

    Automated exception search integrated into your IDE

  5. 0

    Z3 Java API fails to detect libz3.dylib

    Stack Overflow | 1 year ago | Eipifi
    java.lang.UnsatisfiedLinkError: no libz3java in java.library.path
  6. 0

    GitHub comment 294#167252845

    GitHub | 1 year ago | markusvoelter
    java.lang.UnsatisfiedLinkError: no libz3java in java.library.path

  1. Adrien 6 times, last 2 weeks ago
  2. PKeidel 9 times, last 1 month ago
  3. rafael 2 times, last 1 month ago
  4. Reich 7 times, last 1 month ago
  5. gamebusterz 1 times, last 2 months ago
31 more registered users
64 unregistered visitors
Not finding the right solution?
Take a tour to get the most out of Samebug.

Tired of useless tips?

Automated exception search integrated into your IDE

Root Cause Analysis

  1. java.lang.UnsatisfiedLinkError

    no libz3java in java.library.path

    at java.lang.ClassLoader.loadLibrary()
  2. Java RT
    System.loadLibrary
    1. java.lang.ClassLoader.loadLibrary(ClassLoader.java:1867)
    2. java.lang.Runtime.loadLibrary0(Runtime.java:870)
    3. java.lang.System.loadLibrary(System.java:1122)
    3 frames
  3. com.microsoft.z3
    Global.setParameter
    1. com.microsoft.z3.Native.<clinit>(Native.java:14)
    2. com.microsoft.z3.Global.setParameter(Global.java:47)
    2 frames
  4. gov.nasa.jpf
    ContextTest.testToString
    1. gov.nasa.jpf.constraints.solvers.nativez3.NativeZ3Solver.<clinit>(NativeZ3Solver.java:46)
    2. gov.nasa.jpf.constraints.solvers.nativez3.NativeZ3SolverProvider.createSolver(NativeZ3SolverProvider.java:59)
    3. gov.nasa.jpf.constraints.solvers.nativez3.NativeZ3SolverProviderLegacy.createSolver(NativeZ3SolverProviderLegacy.java:36)
    4. gov.nasa.jpf.constraints.solvers.ConstraintSolverFactory.createSolver(ConstraintSolverFactory.java:201)
    5. gov.nasa.jpf.constraints.solvers.ConstraintSolverFactory.createSolver(ConstraintSolverFactory.java:216)
    6. gov.nasa.jpf.constraints.solvers.ConstraintSolverFactory.createSolver(ConstraintSolverFactory.java:221)
    7. gov.nasa.jpf.constraints.expressions.ContextTest.testToString(ContextTest.java:37)
    7 frames