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

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

    Unable to install jConstraints-z3

    GitHub | 10 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
    samebug tip
    Check if you have the latest version of SQLCipher and look if you loaded the libraries correctly. More info on this comment: https://goo.gl/tQQ5NO
  4. Speed up your debug routine!

    Automated exception search integrated into your IDE

  5. 0
    samebug tip
    If you're using proguard, check if you correctly configured it, otherwise, just disable proguard. More on this here: https://goo.gl/FP500o
  6. 0

    GitHub comment 294#167294106

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

  1. iferca 1 times, last 1 month ago
  2. filpgame 1 times, last 1 month ago
  3. Adrien 6 times, last 2 months ago
  4. PKeidel 9 times, last 2 months ago
  5. rafael 3 times, last 1 month ago
32 more registered users
63 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