Hynek Bures
Results
1
issues of
Hynek Bures
In 0.17.0 the negation of conjunction does not work. Query ``` (A==1) & (B==2) & ~((A==1) & (A==1)) ``` should have no solution, however, pyDatalog finds solution `[(1,2)]`. I have...