fact++ not working in this example?

[Guilherme Passos]

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.

[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.

[Giuseppe Cota]

I've split this issue into two.

[Giuseppe Cota]

Bug fix #5 and sligthly modified class that loads native libraries

→ <<cset 6ff297d43b1f>>

[Giuseppe Cota]

Bug fix #5

→ <<cset e67d9e735e04>>