Missing solvers in 6.2.0 Release

[kevin-delmas]

The asset for Alloy 6.2.0 on Linux does not contain glucose solver. The following command fails with this asset but succeeds with the JAR distributed here .

java -jar alloy-6.2.0/lib/app/org.alloytools.alloy.dist.jar exec -f -s glucose FILENAME

Perhaps I do not use the JAR as intended, but it would be great to be able to use glucose solver in both assets.

[pkriens]

You're a bit thin on the context information. Can you run it with the -d command line option like:

 java -jar alloy-6.2.0/lib/app/org.alloytools.alloy.dist.jar -d exec -f -s glucose FILENAME

And can you show the output of the command solvers and natives? (replace exec with solvers

 java -jar alloy-6.2.0/lib/app/org.alloytools.alloy.dist.jar solvers
 java -jar alloy-6.2.0/lib/app/org.alloytools.alloy.dist.jar natives

[kevin-delmas]

For java -jar alloy-6.2.0/lib/app/org.alloytools.alloy.dist.jar -d exec -f -s glucose FILENAME I have

logDebug.txt

For java -jar alloy-6.2.0/lib/app/org.alloytools.alloy.dist.jar solvers I have

logSolver.txt

For java -jar alloy-6.2.0/lib/app/org.alloytools.alloy.dist.jar natives I have

logNative.txt

[pkriens]

Ok ... the Linux deliverable has a JAR where the glucose is not in the JAR ...

You can download the jar from https://github.com/AlloyTools/org.alloytools.alloy/releases/download/v6.2.0/org.alloytools.alloy.dist.jar

For some reason that one does contain the linux native binaries.

[kevin-delmas]

Thank you for the investigation. I will use the JAR you pointed out instead.