search

ibex-team / ibex-lib

IBEX is a C++ library for constraint processing over real numbers.
http://ibex-team.github.io/ibex-lib/
GNU Lesser General Public License v3.0
67 stars 51 forks source link

Ibex-java for Choco solver #525

Open giuseppeboezio opened 1 year ago

giuseppeboezio commented 1 year ago

I use constraints on real variables with Choco solver which uses Ibex library to do this. I have installed Ibex and java plugin for Ibex as described here (http://www.ibex-lib.org/doc/java-install.html#windows, http://www.ibex-lib.org/doc/java-install.html) and I got no problems during the process.

I have set -Djava.library.path=path to my ibex-java folder to be able to use it but I get the following error: Exception in thread "main" java.lang.UnsatisfiedLinkError: no ibex-java in java.library.path

As far as I have understood I should pass the path of the library but I do not know which must be the file, how can I solve this problem?