Где я могу найти руководства по z3py

rise4fun z3py недоступен в течение нескольких недель из-за некоторых проблем с безопасностью. Я пытался найти ресурсы для изучения z3py, но безуспешно. Пожалуйста, предложите несколько ресурсов для изучения z3py


z3 z3py
person svKris    schedule 15.11.2013    source источник
comment
Вопросы, просящие нас порекомендовать или найти инструмент, библиотеку или любимый сторонний ресурс, не относятся к теме Stack Overflow, поскольку они, как правило, привлекают самоуверенные ответы и спам.   -  person Ken White    schedule 15.11.2013
comment
Я не прошу найти мне какой-нибудь инструмент. Официальная страница z3 предоставила stackoverflow как одно из средств связи. см. research.microsoft.com/en-us / um / redmond / projects / z3 / old /.   -  person svKris    schedule 15.11.2013
comment
Пожалуйста, предложите какой-либо ресурс - это просьба порекомендовать или найти что-то. Тот факт, что официальная страница отправляет вас сюда, не означает, что сообщения не по теме автоматически становятся актуальными. В руководстве здесь указано, что ваш вопрос не по теме. См. На странице темы, особенно нумерованный список на этой странице.   -  person Ken White    schedule 15.11.2013

Ответы (3)


arrow_upward
5
arrow_downward

Я создал zip-файл с исходниками учебников Z3Py. По сути, это несколько HTML-страниц и куча файлов Python. Вот ссылка:
https://github.com/leodemoura/leodemoura.github.com/blob/master/files/z3py.zip?raw=true

Обновление (14 января 2014 г.): учебные пособия по Z3Py снова в сети

person Leonardo de Moura    schedule 15.11.2013
comment
Z3Py снова не работает. Я загрузил ваши файлы и заполнил html-файлы примерами (меня раздражало постоянное обращение к файлам .py). Их можно скачать здесь dropproxy.com/f/834. - person Sorig; 30.06.2014

arrow_upward
0
arrow_downward

официальный z3py веб-сайт руководств был отключено из-за проблем с безопасностью и все еще недоступно на момент написания этого сообщения.

Тем временем вы можете получить доступ к зеркалу веб-сайта, содержащему все файлы, в github.

person Extreme Coders    schedule 25.04.2015

arrow_upward
0
arrow_downward

Вы также можете использовать Wayback Machine для просмотра таких руководств, как http://web.archive.org/web/20121117183725/http://rise4fun.com/Z3Py/tutorialcontent/advanced

person Sorawee Porncharoenwase    schedule 03.05.2015