Ubuntu 22.04.5 LTS环境下PySMT的pysmt-install命令触发setup.py弃用警告及FileExistsError的问题咨询

我在Ubuntu 22.04.5 LTS系统中，通过PyCharm的包管理器，在conda环境里给Python 3.12安装了PySMT库，当前版本信息如下：

$ 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: info@pysmt.org
License: APACHE
Location: .../lib/python3.12/site-packages
Requires: 
Required-by: 

但是当我尝试安装求解器，或者执行pysmt-install --check命令（用来查看当前PYTHONPATH中能被识别的求解器）时，却触发了SetuptoolsDeprecationWarning警告，最终还抛出了FileExistsError错误，具体输出如下：

$ 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'

我到底哪里考虑不周？为什么pysmt-install会调用已经被弃用的setup.py呢？

之前看到Perplexity建议执行pip install --upgrade setuptools，但我觉得这可能不是解决问题的关键。

补充说明：我在PySMT的GitHub仓库里找到了一个类似的开放issue，但那个问题是针对M1芯片的MacOS系统的，和我的Ubuntu环境情况不符。

备注：内容来源于stack exchange，提问作者teppo