Installing Ibex 2.8.7 with Choco 4.10.2 under Ubuntu 16.04 32-bit virtual machine

[begumgenc]

Dear developers,

I have been trying to install Ibex solver to be used with Choco for a few days now. I was unable to install it on my 64 bit machine, so I created a virtual machine with 32-bit Linux installed on it, and followed all the instructions. The gaol library produced some errors for some reason, so I made use of the library direct. The installation seemed successful, I did not get any errors. Please see the output of the process in file "output_install". output_install.txt

However, when I try to run a sample code, I get the error:

Exception in thread "main" java.lang.UnsatisfiedLinkError: no ibex-java in java.library.path at java.lang.ClassLoader.loadLibrary(ClassLoader.java:1871) at java.lang.Runtime.loadLibrary0(Runtime.java:871) at java.lang.System.loadLibrary(System.java:1124) at org.chocosolver.solver.constraints.real.Ibex.(Ibex.java:62) at org.chocosolver.solver.constraints.real.IbexHandler.createInstance(IbexHandler.java:298) at org.chocosolver.solver.constraints.real.IbexHandler.getIbexInstance(IbexHandler.java:218) at org.chocosolver.solver.constraints.real.IbexHandler.contract(IbexHandler.java:122) at org.chocosolver.solver.constraints.real.RealPropagator.propagate(RealPropagator.java:85) at org.chocosolver.solver.propagation.PropagationEngine.execute(PropagationEngine.java:216) at org.chocosolver.solver.propagation.PropagationEngine.activatePropagators(PropagationEngine.java:200) at org.chocosolver.solver.propagation.PropagationEngine.propagate(PropagationEngine.java:164) at org.chocosolver.solver.Solver.propagate(Solver.java:627)

I set the library path as ~/workspace/Ibex/ibex-lib-ibex-2.8.7/lib and I have the following files produced:

/home/begum/workspace/Ibex/ibex-lib-ibex-2.8.7/lib/libibex.so /home/begum/workspace/Ibex/ibex-lib-ibex-2.8.7/lib/libibex-java.so /home/begum/workspace/Ibex/ibex-lib-ibex-2.8.7/lib/ibex/3rd/libgaol.a /home/begum/workspace/Ibex/ibex-lib-ibex-2.8.7/lib/ibex/3rd/libgaol.la /home/begum/workspace/Ibex/ibex-lib-ibex-2.8.7/lib/ibex/3rd/libgdtoa.a /home/begum/workspace/Ibex/ibex-lib-ibex-2.8.7/lib/ibex/3rd/libgdtoa.la /home/begum/workspace/Ibex/ibex-lib-ibex-2.8.7/lib/ibex/3rd/libprim.a /home/begum/workspace/Ibex/ibex-lib-ibex-2.8.7/lib/ibex/3rd/libprim.la /home/begum/workspace/Ibex/ibex-lib-ibex-2.8.7/lib/ibex/3rd/libsoplex.a /home/begum/workspace/Ibex/ibex-lib-ibex-2.8.7/lib/ibex/3rd/libsoplex.linux.x86.gnu.opt.a /home/begum/workspace/Ibex/ibex-lib-ibex-2.8.7/lib/ibex/3rd/libsoplex-4.0.2.linux.x86.gnu.opt.a /home/begum/workspace/Ibex/ibex-lib-ibex-2.8.7/lib/ibex/3rd/libultim.a /home/begum/workspace/Ibex/ibex-lib-ibex-2.8.7/lib/ibex/3rd/libultim.la

Would you be able to help me with fixing this problem?

Thanks,

[schmittjoaopedro]

Hello,

Try to execute the steps in this link