ссылку, указанную в онлайн учебник не содержит ссылку, чтобы выбрать ветвь:Где я могу получить Windows/Linux исполняемые файлы для Z3opt
http://z3.codeplex.com/
, а также нет каких-либо страница под разделе загрузки .. Можно ли получить двоичные файлы для windows/linux?
Благодаря
Это на странице «Источник», где вы можете выбрать филиал, который вы хотели бы видеть. После того, как вы создали git-клонирование всего репозитория, вы также можете выбрать нестабильную ветку в командной строке или любой другой предпочитаемый git-клиент.
На данный момент мы не создаем двоичные файлы, содержащие ветвь opt, двоичные файлы в разделе «Загрузка» являются главными выпусками, и если вы выберете «запланированный» на панели справа, вы можете получить нестабильные двоичные файлы.
В настоящее время Codeplex проводит серьезные ремонтные работы, поэтому вам придется попробовать несколько раз, прежде чем вы получите то, что вам нужно.
Здесь https://github.com/Z3Prover/z3/branches выбрать опцию.