не могу найти зависимость pysat=0.1.3

Я получаю ошибку как

      from pysat.solvers import Glucose3

      ModuleNotFoundError: No module named 'pysat.solvers'*

когда я пробую более новую версию pysat. Я не могу найти требуемую старую версию, которая pysat=0.1.3.

Источник

1 ответ

У меня была такая же проблема, попробуйте использоватьpip install -U python-satилиpip3 install -U python-satКоманда для установки инструментария. Ссылка: «https://pysathq.github.io/installation/».

Источник
Другие вопросы по тегам