i21023/JavaTXCompilerInJavaTX
2
0
Fork 0
forked from JavaTX/JavaCompilerCore
Code Pull Requests Activity
sat
JavaTXCompilerInJavaTX/asp/result.lp
JanUlrich d0e7ea86ed Tests bereinigen
2018-07-17 19:51:50 +02:00

1 line
68 B
Plaintext
Raw Permalink Blame History

:- equals(A, B), equals(A, C), type(B,BN,_), type(C,CN,_), CN != BN.
View Git Blame Copy Permalink