Started 17 days ago
Took 26 min on VM1

Success Build #719 (Jul 27, 2020, 5:09:56 PM)

Changes
  1. stopped aggregates from overmaterialising. Now, only rules with more than one atom will be materialised. If an atom is not present, we add a +Tautology atom to the body of the aggregate. A rule with one atom and any number of constraints will not be materialised anymore (commit: 496d03a) (details / githubweb)
  2. refactor to give more meaningful variable name (commit: f6f25ce) (details / githubweb)
  3. fixed style (commit: 26f561e) (details / githubweb)

Started by GitHub push by mmcgr

Revision: 97abbe0b0944a05fd5323ad4308b37a4d67569c4
  • refs/remotes/origin/master