Activity for evolp/r

  • Ari Ari committed [6d7b14]

    update dual construction with latest/2, but lat...

  • Ari Ari committed [9304ea]

    new preprocessing file

  • Ari Ari committed [94e695]

    implementing loading clauses from input file

  • Ari Ari committed [103564]

    splitting preprocessing and system predicates

1