2017-12-28 16 views
0

が、私はこのQ:[Z3] java.lang.NoClassDefFoundErrorが:

<dependency> 
     <groupId>org.sosy-lab</groupId> 
     <artifactId>javasmt-solver-z3</artifactId> 
     <version>z3-4.4.1-1558-gf96cfea</version> 
</dependency> 

のようなMavenの依存関係を使用する場合com.microsoft.z3.Nativeその後、私は、Javaの例を使用するクラスを初期化できませんでした

public void simpleExample() 
{ 

    System.out.println("SimpleExample"); 
    try { 
     Log.open("SimpleExample"); 
     Log.append("SimpleExample"); 
    }catch (Exception e){ 
     e.printStackTrace(); 
    }finally{ 
     Log.close(); 
    } 

    { 
     Context ctx = new Context(); 
     /* do something with the context */ 

     /* be kind to dispose manually and not wait for the GC. */ 
     ctx.close(); 
    } 
} 

一度Native.javaを使用すると、この問題が表示されます。何が間違っていますか?

+0

私はあなたが何を意味するのか分かりません:Z3関数の最初の呼び出しでは、 "DLLが見つかりません"というエラーが出ますか、またはNativeのZ3関連関数以外のものはすべて動作しますか? Java? –

答えて

0

のJava APIを使用するには、次のようにあなたのIDEで環境変数を設定する必要があります。

LD_LIBRARY_PATHを= path_to_build_folder_of_z3_source

だけで、ソースコードをビルドするためにthisページの指示に従ってください。

関連する問題