by Anonymous » 07 Feb 2025, 09:04
Ich habe PysMT für Python 3.12 mit Pycharm -Paketmanager mit einer Conda -Umgebung in Ubuntu 22.04.5 LTS installiert: < /p>
Code: Select all
$ pip show pysmt
Name: PySMT
Version: 0.9.6
Summary: A solver-agnostic library for SMT Formulae manipulation and solving
Home-page: http://www.pysmt.org
Author: PySMT Team
Author-email: [email protected]
License: APACHE
Location: .../lib/python3.12/site-packages
Requires:
Required-by:
Wenn ich jedoch versuche, einen Löser zu installieren, oder beispielsweise "zeigen, welche Solver in Ihrem PythonPath " gefunden wurden. Ich bekomme eine setuptoolsdeprecationWarning: < /p>
Code: Select all
$ pysmt-install --check
.../lib/python3.12/site-packages/setuptools/_distutils/cmd.py:79: SetuptoolsDeprecationWarning: setup.py install is deprecated.
!!
********************************************************************************
Please avoid running ``setup.py`` directly.
Instead, use pypa/build, pypa/installer or other
standards-based tools.
See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
********************************************************************************
!!
self.initialize_options()
Traceback (most recent call last):
...
FileExistsError: [Errno 17] File exists: '.../miniforge3/envs/.../bin/python3.12'
< /code>
Was fehlt mir? Warum sollte Pysmt-In-INSTALL
das veraltete Setup.py?
Verwirrung vorgeschlagen, die für die Installation von Pip-Installation vorgeschlagen wurde, aber ich bin nicht überzeugt. Davon abgesehen habe ich keine Beschreibungen ähnlicher Probleme gefunden.
Ich habe PysMT für Python 3.12 mit Pycharm -Paketmanager mit einer Conda -Umgebung in Ubuntu 22.04.5 LTS installiert: < /p>
[code]$ pip show pysmt
Name: PySMT
Version: 0.9.6
Summary: A solver-agnostic library for SMT Formulae manipulation and solving
Home-page: http://www.pysmt.org
Author: PySMT Team
Author-email:
[email protected]License: APACHE
Location: .../lib/python3.12/site-packages
Requires:
Required-by:
[/code]
Wenn ich jedoch versuche, einen Löser zu installieren, oder beispielsweise "zeigen, welche Solver in Ihrem PythonPath " gefunden wurden. Ich bekomme eine setuptoolsdeprecationWarning: < /p>
[code]$ pysmt-install --check
.../lib/python3.12/site-packages/setuptools/_distutils/cmd.py:79: SetuptoolsDeprecationWarning: setup.py install is deprecated.
!!
********************************************************************************
Please avoid running ``setup.py`` directly.
Instead, use pypa/build, pypa/installer or other
standards-based tools.
See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
********************************************************************************
!!
self.initialize_options()
Traceback (most recent call last):
...
FileExistsError: [Errno 17] File exists: '.../miniforge3/envs/.../bin/python3.12'
< /code>
Was fehlt mir? Warum sollte Pysmt-In-INSTALL [/code] das veraltete Setup.py?
Verwirrung vorgeschlagen, die für die Installation von Pip-Installation vorgeschlagen wurde, aber ich bin nicht überzeugt. Davon abgesehen habe ich keine Beschreibungen ähnlicher Probleme gefunden.
Mobile version