Adding this to issues for anyone who faces this error in the future
I encountered the following error when tarski attempts to import clingo on windows.
ImportError: "DLL load failed" while importing _clingo
The error implies that there is a dll that the python module is unable to locate, Here, _clingo is unable to locate a dll. The missing dll can be found using Dependency Walker.
Resolution- Install vc-redist. The dependency was MSVCP140.dll which comes with visual c++ redistributable latest vc-redist.
anubhav-cs
commented
2 years ago
Adding this to issues for anyone who faces this error in the future
I encountered the following error when tarski attempts to import
clingoon windows.The error implies that there is a
dllthat the python module is unable to locate, Here,_clingois unable to locate adll. The missingdllcan be found using Dependency Walker.Resolution- Install
vc-redist. The dependency wasMSVCP140.dllwhich comes with visual c++ redistributable latest vc-redist.