All Downloads are FREE. Search and download functionalities are using the official Maven repository.
  • Log In
  • Register

    • .arg.aba.1.15.source-code.example11.aba Maven / Gradle / Ivy

    There is a newer version: 1.17
    Show newest version
    {a,b,c}

r <- b,c
q <-
p <-q,a

not a = r
not b = q
not c = p




    © 2015 - 2025 Weber Informatics LLC | Privacy Policy