search

potassco / ngo

Non Ground Optimizer for logic programs.
MIT License
4 stars 0 forks source link

Bug: Symmetry breaking 2+ variables #58

Closed MaxOstrowski closed 1 year ago

MaxOstrowski commented 1 year ago

unit test

        (
            "f(X) :- node(X), player(P1, X, Y, V1), player(P2, X, Y, V2), P1 != P2, V1 != V2.",
            "#program base.\nf(X) :- node(X); player(P1,X,Y,V1); player(P2,X,Y,V2); P1 < P2; V1 < V2.",
        ),

is wrong