Alloy не может загрузить динамические библиотеки включенных решателей из файла jar.
Я установил сплав из AUR на 64-битной Linux. Файл jar содержит, например,
99085 Sun Feb 22 19:21:37 AST 2015 amd64-linux/libglucose.so
Однако, когда я запускаю сплав, я получаю сообщения:
Failed to load: libglucose.so
Как мне получить сплав, чтобы найти эти библиотеки?