z3 установить в платформу Redhat

Question

Может ли последняя z3 быть установлена ​​на платформе Redhat linux? На этой платформе нет упоминания о https://github.com/Z3Prover/z3

Answer 1

Как вы указали, в настоящее время мы не предоставляем предварительно скомпилированные двоичные файлы для RedHat Linux. В настоящее время мы предоставляем только предварительно скомпилированные двоичные файлы для: Ubuntu и Debian. Мы также регулярно компилируем Z3 на Fedora. Как вы сказали, вы можете скомпилировать Z3 на RedHat Linux без проблем. В частности, нам удалось скомпилировать ветвь (незавершенное производство) на разных платформах. Смотрите этот родственный вопрос:

• Installation of Z3 on a posix system without python?

This link имеет инструкции по компиляции Z3 на Linux.