Choco-solver installation in windows 11 failure to find ibex-java

[atiya farheen]

Hello Team,

Choco solver and Ibex installation was success .

But when I try to run the real variable example am getting ,

Kindly please help, I have setup the class path, path pointing to the plugins but no luck,

C:\Users\syeds\.jdks\openjdk-18\bin\java.exe "-javaagent:C:\Program Files\JetBrains\IntelliJ IDEA Community Edition 2021.2.3\lib\idea_rt.jar=55937:C:\Program Files\JetBrains\IntelliJ IDEA Community Edition 2021.2.3\bin" -Dfile.encoding=UTF-8 -classpath C:\Users\syeds\IdeaProjects\ChocoSolverPoc\target\classes;C:\Users\syeds\.m2\repository\org\choco-solver\choco-solver\4.10.6\choco-solver-4.10.6.jar;C:\Users\syeds\.m2\repository\org\choco-solver\choco-sat\4.10.6\choco-sat-4.10.6.jar;C:\Users\syeds\.m2\repository\dk\brics\automaton\automaton\1.11-8\automaton-1.11-8.jar;C:\Users\syeds\.m2\repository\org\jgrapht\jgrapht-core\1.4.0\jgrapht-core-1.4.0.jar;C:\Users\syeds\.m2\repository\org\jheaps\jheaps\0.11\jheaps-0.11.jar;C:\Users\syeds\.m2\repository\com\github\cp-profiler\cpprof-java\1.3.0\cpprof-java-1.3.0.jar;C:\Users\syeds\.m2\repository\com\google\protobuf\protobuf-java\2.6.1\protobuf-java-2.6.1.jar;C:\Users\syeds\.m2\repository\org\knowm\xchart\xchart\3.6.4\xchart-3.6.4.jar;C:\Users\syeds\.m2\repository\de\erichseifert\vectorgraphics2d\VectorGraphics2D\0.13\VectorGraphics2D-0.13.jar;C:\Users\syeds\.m2\repository\de\rototor\pdfbox\graphics2d\0.27\graphics2d-0.27.jar;C:\Users\syeds\.m2\repository\org\apache\pdfbox\pdfbox\2.0.19\pdfbox-2.0.19.jar;C:\Users\syeds\.m2\repository\org\apache\pdfbox\fontbox\2.0.19\fontbox-2.0.19.jar;C:\Users\syeds\.m2\repository\commons-logging\commons-logging\1.2\commons-logging-1.2.jar;C:\Users\syeds\.m2\repository\com\madgag\animated-gif-lib\1.4\animated-gif-lib-1.4.jar;C:\Users\syeds\.m2\repository\net\sf\trove4j\trove4j\3.0.3\trove4j-3.0.3.jar;C:\Users\syeds\Downloads\choco-solver-4.10.6-jar-with-dependencies.jar ChocoSolverRealVarTest
Exception in thread "main" java.lang.UnsatisfiedLinkError: no ibex-java in java.library.path: C:\Users\syeds\.jdks\openjdk-18\bin;C:\WINDOWS\Sun\Java\bin;C:\WINDOWS\system32;C:\WINDOWS;C:\Program Files\NAG\NL28\nlw6i283el\batch;C:\Program Files\NAG\NL28\nlw6i283el\bin;C:\Program Files\NAG\NL28\nlw6i283el\mkl\bin;C:\Program Files\NAG\NL28\nlw6i283el\rtl\bin;C:\Program Files (x86)\Common Files\Oracle\Java\javapath;C:\WINDOWS\system32;C:\WINDOWS;C:\WINDOWS\System32\Wbem;C:\WINDOWS\System32\WindowsPowerShell\v1.0\;C:\WINDOWS\System32\OpenSSH\;C:\Program Files\Git\cmd;C:\MinGW\bin;C:\Program Files\NAG\NL28\nlw6i283el\bin;C:\Program Files\NAG\NL28\nlw6i283el\rtl\bin;C:\my_nagjava_dir\nagjava_283\NAGJava\win64;C:\Python27;C:\MinGW\msys\1.0\home\syeds\Ibex\ibex-2.8.8\lib;C:\MinGW\msys\1.0\home\syeds\Ibex\ibex-2.8.8\plugins;"C:\Users\syeds\AppData\Local\Microsoft\WindowsApps;C:\my_nagjava_dir\nagjava_283\NAGJava\win64;C:\Program Files\NAG\NL28\nlw6i283el\rtl\bin;C:\Python27;C:\MinGW\msys\1.0\home\syeds\Ibex\ibex-2.8.8\lib;";C:\MinGW\msys\1.0\home\syeds\Ibex\ibex-2.8.8\plugins;;.
    at java.base/java.lang.ClassLoader.loadLibrary(ClassLoader.java:2434)
    at java.base/java.lang.Runtime.loadLibrary0(Runtime.java:848)
    at java.base/java.lang.System.loadLibrary(System.java:2015)
    at org.chocosolver.solver.constraints.real.Ibex.<clinit>(Ibex.java:66)
    at org.chocosolver.solver.constraints.real.IbexHandler.createInstance(IbexHandler.java:367)
    at org.chocosolver.solver.constraints.real.IbexHandler.getIbexInstance(IbexHandler.java:285)
    at org.chocosolver.solver.constraints.real.IbexHandler.contract(IbexHandler.java:148)
    at org.chocosolver.solver.constraints.real.RealPropagator.propagate(RealPropagator.java:85)
    at org.chocosolver.solver.propagation.PropagationEngine.execute(PropagationEngine.java:225)
    at org.chocosolver.solver.propagation.PropagationEngine.activatePropagators(PropagationEngine.java:209)
    at org.chocosolver.solver.propagation.PropagationEngine.propagate(PropagationEngine.java:173)
    at org.chocosolver.solver.search.loop.propagate.PropagateBasic.execute(PropagateBasic.java:46)
    at org.chocosolver.solver.Solver.initialize(Solver.java:407)
    at org.chocosolver.solver.Solver.solve(Solver.java:294)
    at ChocoSolverRealVarTest.main(ChocoSolverRealVarTest.java:24)

Process finished with exit code 1