java.lang.UnsatisfiedLinkError: unknown

Searched on Google with the first line of a JAVA stack trace?

We can recommend more relevant solutions and speed up debugging when you paste your entire stack trace with the exception message. Try a sample exception.

Recommended solutions based on your search

Solutions on the web

java.lang.UnsatisfiedLinkError: unknown
at z3.Z3Interface$jnr$ffi$1.Z3_mk_config(Unknown Source)
at z3.scala.Z3Config.(Z3Config.scala:6)
at edu.berkeley.cs.boom.molly.derivations.Z3Solver$.solve(Z3Solver.scala:35)
at edu.berkeley.cs.boom.molly.derivations.Solver$$anonfun$6.apply(Solver.scala:50)
at edu.berkeley.cs.boom.molly.derivations.Solver$$anonfun$6.apply(Solver.scala:50)
at edu.berkeley.cs.boom.molly.derivations.Solver$class.solve(Solver.scala:50)
at edu.berkeley.cs.boom.molly.derivations.Z3Solver$.solve(Z3Solver.scala:11)
at edu.berkeley.cs.boom.molly.Verifier.verify(Verifier.scala:174)
at edu.berkeley.cs.boom.molly.SyncFTChecker$.check(SyncFTChecker.scala:82)
at edu.berkeley.cs.boom.molly.SyncFTChecker$$anonfun$main$2.apply(SyncFTChecker.scala:105)
at edu.berkeley.cs.boom.molly.SyncFTChecker$$anonfun$main$2.apply(SyncFTChecker.scala:102)
at scala.Option.map(Option.scala:146)
at edu.berkeley.cs.boom.molly.SyncFTChecker$.main(SyncFTChecker.scala:102)
at edu.berkeley.cs.boom.molly.SyncFTChecker.main(SyncFTChecker.scala)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke(Method.java:498)

Users with the same issue

You are the first who have seen this exception. Write a tip to help other users and build your expert profile.

Know the solutions? Share your knowledge to help other developers to debug faster.