java.lang.UnsatisfiedLinkError: uk.ac.manchester.cs.factplusplus.FaCTPlusPlus.setFreshEntityPolicy(Z)V

GitHub | tillmo | 8 months ago
tip
Do you know that we can give you better hits? Get more relevant results from Samebug’s stack trace search.
  1. 0

    GitHub comment 1619#239182831

    GitHub | 8 months ago | tillmo
    java.lang.UnsatisfiedLinkError: uk.ac.manchester.cs.factplusplus.FaCTPlusPlus.setFreshEntityPolicy(Z)V

    Root Cause Analysis

    1. java.lang.UnsatisfiedLinkError

      uk.ac.manchester.cs.factplusplus.FaCTPlusPlus.setFreshEntityPolicy(Z)V

      at uk.ac.manchester.cs.factplusplus.FaCTPlusPlus.setFreshEntityPolicy()
    2. uk.ac.manchester
      FaCTPlusPlusReasoner.<init>
      1. uk.ac.manchester.cs.factplusplus.FaCTPlusPlus.setFreshEntityPolicy(Native Method)
      2. uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner.<init>(Unknown Source)
      2 frames
    3. de.unibremen.informatik
      Prove.main
      1. de.unibremen.informatik.FactProver.FactProver.<init>(FactProver.java:98)
      2. de.unibremen.informatik.FactProver.Prove.main(Prove.java:15)
      2 frames