I tried to use tarski in windows but when I try to import the grounders I get this error:
from tarski.grounding import LPGroundingStrategy, NaiveGroundingStrategy # type: ignore
C:\hostedtoolcache\windows\Python\3.9.10\x64\lib\site-packages\tarski\grounding\__init__.py:4: in <module>
from .lp_grounding import LPGroundingStrategy
C:\hostedtoolcache\windows\Python\3.9.10\x64\lib\site-packages\tarski\grounding\lp_grounding.py:4: in <module>
from ..utils.command import silentremove
C:\hostedtoolcache\windows\Python\3.9.10\x64\lib\site-packages\tarski\utils\command.py:72: in <module>
libc = ctypes.CDLL(None)
C:\hostedtoolcache\windows\Python\3.9.10\x64\lib\ctypes\__init__.py:364: in __init__
if '/' in name or '\\' in name:
E TypeError: argument of type 'NoneType' is not iterable
I tried to use tarski in windows but when I try to import the grounders I get this error:
In ubuntu the same code works well.