aspcud
- это внешний решатель, рекомендованный менеджером пакетов opam
. К сожалению, он упакован только для Debian; для других дистрибутивов есть архив с двоичными файлами, доступный на странице sourceforge .
Простое копирование всех двоичных файлов куда-то по вашему пути (например, /usr/local/bin
) и запуск aspcud
завершается неудачно с неинформативным сообщением об ошибке:
$ aspcud
error: could not lstat file
[Публикуем это в основном так, чтобы "файл не может быть получен" получал некоторые хиты Google; единственный удар сейчас - кто-то, кто столкнулся с той же самой проблемой.]