Функция увеличения4fun z3py недоступна через несколько недель из-за некоторых проблем с безопасностью. Я попытался выяснить некоторые ресурсы для изучения z3py, но закончился напрасно. Пожалуйста, предложите некоторые ресурсы, чтобы узнать z3pyГде я могу получить z3py tutorials
Я создал zip-файл с источниками учебников Z3Py. Это в основном несколько HTML-страниц и куча файлов python. Вот ссылка:
https://github.com/leodemoura/leodemoura.github.com/blob/master/files/z3py.zip?raw=true
Update (14 января 2014): учебники Z3Py вернулись онлайн
Z3Py, похоже, снова опустился. Я загрузил ваши файлы и заполнил html-файлы примерами (мне было досадно продолжать ссылаться на файлы .py). Их можно скачать здесь http://dropproxy.com/f/834 – Sorig
Сайт officialz3py учебников уже был taken down due to security problems и до сих пор недоступен в момент написания этого поста.
Между тем вы можете получить доступ к зеркалу веб-сайта, содержащего все файлы, по адресу github.
Вы также можете использовать Wayback Machine, чтобы увидеть учебные пособия, таких как http://web.archive.org/web/20121117183725/http://rise4fun.com/Z3Py/tutorialcontent/advanced
Вопросов просят нас, чтобы рекомендовать или найти инструмент, библиотеку или любимый вне площадки ресурса вне темы для переполнения стека, поскольку они, как правило, привлекают упрямые ответы и спам. –
Я не прошу найти инструмент для меня. Официальная страница z3 предоставила stackoverflow как одно из средств для связи. см. http://research.microsoft.com/en-us/um/redmond/projects/z3/old/mail.html. – svKris
«Пожалуйста, предложите какой-то ресурс» - это просьба рекомендовать или найти что-то. Тот факт, что официальная страница отправляет вас сюда, автоматически не делает сообщения, не относящиеся к теме, становится по теме. Руководства ** здесь ** говорят, что ваш вопрос не по теме. См. [Страница темы] (http: // stackoverflow/help/on-topic), особенно нумерованный список на этой странице. –