Ошибка ImportError для pysmt-install --msat с pySMT на Python 3.11

Question

У меня Python 3.11 в Windows 11 и установлен pySMT 0.9.5. Однако я не могу установить решатель SMT, например MathSAT. Раньше я делал это на каком-то более старом Python, и это работало хорошо, так что в принципе, похоже, это работает.

Когда я бегуpysmt-sinatll --msatЯ понимаю это:

          C:\Users\chris\Anaconda3\Lib\site-packages\setuptools\_distutils\cmd.py:66: 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()

Кроме того, компиляция, похоже, проходит хорошо, и я даже получаю файлы, которые предположительно необходимы в каталоге.C:\Users\chris\AppData\Roaming\Python\Python311\site-packages.

          03.10.2023  12:14         4.895.744 mathsat.dll
    03.10.2023  12:14            75.000 mathsat.py
    03.10.2023  12:14           429.056 mpir.dll
    03.10.2023  12:15    <DIR>          yices_bin
    03.10.2023  12:14           517.632 _mathsat.cp311-win_amd64.pyd
    03.10.2023  12:14    <DIR>          __pycache__      

Однако, когда я пытаюсь загрузить его, я получаю:

          >>> import mathsat
    Traceback (most recent call last):
    File "C:\Users\chris\AppData\Roaming\Python\Python311\site-packages\mathsat.py", line 18, in swig_import_helper
    return importlib.import_module(mname)
            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
    File "c:\users\chris\anaconda3\Lib\importlib\__init__.py", line 126, in import_module
    return _bootstrap._gcd_import(name[level:], package, level)
            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
    File "<frozen importlib._bootstrap>", line 1204, in _gcd_import
    File "<frozen importlib._bootstrap>", line 1176, in _find_and_load
    File "<frozen importlib._bootstrap>", line 1147, in _find_and_load_unlocked
    File "<frozen importlib._bootstrap>", line 676, in _load_unlocked
    File "<frozen importlib._bootstrap>", line 573, in module_from_spec
    File "<frozen importlib._bootstrap_external>", line 1233, in create_module
    File "<frozen importlib._bootstrap>", line 241, in _call_with_frames_removed
    ImportError: DLL load failed while importing _mathsat: The specified module could not be found.

    During handling of the above exception, another exception occurred:

    Traceback (most recent call last):
    File "<stdin>", line 1, in <module>
    File "C:\Users\chris\AppData\Roaming\Python\Python311\site-packages\mathsat.py", line 21, in <module>
    _mathsat = swig_import_helper()
            ^^^^^^^^^^^^^^^^^^^^
    File "C:\Users\chris\AppData\Roaming\Python\Python311\site-packages\mathsat.py", line 20, in swig_import_helper
    return importlib.import_module('_mathsat')
            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
    File "c:\users\chris\anaconda3\Lib\importlib\__init__.py", line 126, in import_module
    return _bootstrap._gcd_import(name[level:], package, level)
            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
    ImportError: DLL load failed while importing _mathsat: The specified module could not be found.

Кто-нибудь может мне помочь?