ImportError during installation on Windows

[mariamaninna]

Hi!

I'm trying to install clinguin on Windows using pip install clinguin. There are no errors during the installation; however, when I type clinguin -h, the following error is given:

Traceback (most recent call last):
  File "<frozen runpy>", line 198, in _run_module_as_main
  File "<frozen runpy>", line 88, in _run_code
  File "C:\Users\white\anaconda3\envs\asp-medium\Scripts\clinguin.exe\__main__.py", line 4, in <module>
  File "C:\Users\white\anaconda3\envs\asp-medium\Lib\site-packages\clinguin\__init__.py", line 11, in <module>
    from .parse_input import ArgumentParser
  File "C:\Users\white\anaconda3\envs\asp-medium\Lib\site-packages\clinguin\parse_input.py", line 14, in <module>
    from .server.application.backends.clingo_backend import ClingoBackend
  File "C:\Users\white\anaconda3\envs\asp-medium\Lib\site-packages\clinguin\server\application\backends\__init__.py", line 7, in <module>
    from clinguin.server.application.backends.clingodl_backend import ClingoDLBackend
  File "C:\Users\white\anaconda3\envs\asp-medium\Lib\site-packages\clinguin\server\application\backends\clingodl_backend.py", line 9, in <module>
    from clingodl import ClingoDLTheory
  File "C:\Users\white\anaconda3\envs\asp-medium\Lib\site-packages\clingodl\__init__.py", line 6, in <module>
    from ._clingodl import lib as _lib, ffi as _ffi
ImportError: DLL load failed while importing _clingodl: The specified procedure could not be found.

I'm using Windows, clingo version 5.7.1, python 3.10.16 (also tried building the environment with python 3.11.11). I also checked that I have clingo-dl 1.5.0.post1 in my pip list and that all the requirements for clingo-dl are met (namely, gcc (GCC) 12.3.0, cmake version 3.31.6).