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
Yes, anything that is iterable is supported. But note that str and tuple are converted to clingo.Symbol (of type clingo.SymbolType.String and clingo.SymbolType.Function).
Hi! I have a problem. I run this code with the clyngor in python
`from clyngor import ASP, solve
answers = ASP("""
rel(a,(c;d)). rel(b,(d;e)).
obj(X):- rel(X,) ; rel(X,Y): att(Y).
att(Y):- rel(,Y) ; rel(X,Y): obj(X).
:- not obj(X):obj(X).
:- not att(Y):att(Y).
""")
for answer in answers:
print(answer)and I get this error
FileNotFoundError: [WinError 2] The system cannot find the file specified
`
@marypopa Sounds like a clyngor related problem, doubled with an ASP syntax error. Please file this issue on clyngor repository, i will study it as soon as possible.
No description provided.
The text was updated successfully, but these errors were encountered: