Pysmt mit veralteten Setup.py ⇐ Python

[Anonymous]

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.