fact++ not working in this example?

Create issue
Issue #5 resolved
Guilherme Passos created an issue

In trying the exact same test as in issue #4, I have tried using fact++.

I have attached the error output.

In fact++, it says: Exception in thread "main" java.lang.UnsatisfiedLinkError: no FaCTPlusPlusJNI in java.library.path. I am afraid I was not able to understand what that means.

Comments (8)

  1. Giuseppe Cota

    We have two different errors here:

    • For JFact: We have this problem with the timeout. I'll have to fix this. Did it return at least an explanation?

    • For Fact++: it seems the shared library used by Fact++ are not found. I'll try to replicate this bug and fix it.

  2. Log in to comment