All Downloads are FREE. Search and download functionalities are using the official Maven repository.

.arg.aba.1.14.source-code.example4.aba Maven / Gradle / Ivy

Go to download

d <- c
{a,b,c,d}
not a = p
not b = a
not c = b
not d = d