Started 17 days ago
Took 7 min 19 sec on VM1

Success Build #1076 (Jul 27, 2020, 12:39:49 PM)

Indexed Inequalities in Souffle
https://github.com/souffle-lang/souffle/pull/1549
PR #1549
No changes.

GitHub pull request #1549 of commit d4220cf18882c9f4c54d79f8cbac29f107d9a75d, has merge conflicts.

Revision: d4220cf18882c9f4c54d79f8cbac29f107d9a75d
  • detached