ject.arg.aba.1.27.source-code.example3.aba Maven / Gradle / Ivy
The newest version!
x <- c
z <- b
a <- b
{a,b,c}
not a = x
not b = y
not c = z
x <- c
z <- b
a <- b
{a,b,c}
not a = x
not b = y
not c = z