You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I am running my first small MLN program in pracmln using the convenient query tool. However the program aborts with an error on line 262 in mcsat.py, the indexing of self.gf2clauseidx[gfidx]. KeyError: 0
I am running my first small MLN program in pracmln using the convenient query tool. However the program aborts with an error on line 262 in mcsat.py, the indexing of self.gf2clauseidx[gfidx]. KeyError: 0
What could the problem be?