Проблема с установкой PySat?

Question

[Akiho]

Пытаюсь решить проблему с установкой PySat. Пробовал переустанавливать Visual C++, не помогло. Решения из интернета не помогают.

Скриншот фрагмента кода удалён модератором.

Может кто сталкивался с проблемой и может помочь ?

Comments

[Модератор]

Скриншот фрагмента кода удалён модератором.
Фрагменты кода надо размещать в виде текста и оборачивать тэгом code для корректного отображения. Удобно делать кнопкой </>
Это обязательно, см.п.3.8 Регламента.
Сюда же относится traceback, ввод и вывод в консоли и другая структурированная текстовая инфа.

[Модератор]

Не надо ставить как можно больше тэгов. Лучше оставить один, но конкретный, с которым проблема.
См.п.3.1 Регламента. Также обратите внимание на п.3.6

Answer 1

[Tema Smirnov]

Учитывая что вы уже пробовали переустановить Visual C++, всё равно упомяну этот момент в чеклисте:

1. Установите Visual C++ Redistributable Package: Проверьте, установлен ли на вашем компьютере Visual C++ Redistributable Package, необходимый для запуска приложений, которые используют Visual C++. Если его нет, загрузите и установите его с официального сайта Microsoft: https://support.microsoft.com/en-us/help/2977003/t...
   
2. Убедитесь, что у вас установлена последняя версия Visual C++. Вы можете загрузить последнюю версию Visual C++ с сайта Microsoft и установить ее: https://visualstudio.microsoft.com/downloads/
   
3. Проверьте, что у вас установлена поддерживаемая версия Python, для которой доступна библиотека PySat. Некоторые версии Python могут быть несовместимы с определенными версиями Visual C++.
   
4. Проверьте, что все необходимые зависимости установлены для PySat.
   
5. Используйте предустановленный пакет: Возможно, установка предварительно собранного пакета PySat может помочь. Вы можете использовать менеджер пакетов pip для установки предварительно собранного пакета PySat:pip install pysat-bin
   

Если ни одно из вышеперечисленных решений не помогло, пожалуйста, уточните, какая именно ошибка возникает при установке PySat, чтобы можно было предоставить более точный ответ.

Если ответ помог или считаете что может быть полезен другим - не забудьте отметить его как решение вашего вопроса. Успехов!

Comments

[Akiho]

Спасибо за варианты решения вопроса, разрешилось само собой, вчера не работало сегодня заработало. Так не понял в чём проблема, но главное что работает.

[Tema Smirnov]

Akiho, отлично! Скорее всего перезагрузка ПК помогла после внесенных вами вчера изменений в набор служебного софта и его библиотек на системе.
*Если считаете что мой чеклист в ответе может кому-то помочь с решением аналогичной проблемы - было бы здорово отметить мой ответ как решение вашего вопроса =)