java.lang.NoClassDefFoundError: com/microsoft/z3/Z3Exception

GitHub | MarwenSami | 10 months ago
tip
Click on the to mark the solution that helps you, Samebug will learn from it.
As a community member, you’ll be rewarded for you help.
  1. 0

    GitHub comment 2#237479107

    GitHub | 10 months ago | MarwenSami
    java.lang.NoClassDefFoundError: com/microsoft/z3/Z3Exception
  2. 0

    GitHub comment 5#236940833

    GitHub | 10 months ago | MarwenSami
    java.lang.NoClassDefFoundError: org/opt4j/optimizer/mopso/MOPSOModule

    Root Cause Analysis

    1. java.lang.NoClassDefFoundError

      com/microsoft/z3/Z3Exception

      at gov.nasa.jpf.Config.getInstance()
    2. gov.nasa.jpf
      RunJPF.main
      1. gov.nasa.jpf.Config.getInstance(Config.java:2015)
      2. gov.nasa.jpf.Config.getInstance(Config.java:1889)
      3. gov.nasa.jpf.Config.getInstance(Config.java:1880)
      4. gov.nasa.jpf.tool.RunJPF.main(RunJPF.java:106)
      4 frames