Artifact for "Finding Cross-rule Optimization Bugs in Datalog Engines"

The artifact consists of two main components: The source code of the tool Datalog Engine Optimization Tester (Deopt), which we used to find all of the bugs presented in our paper. The data and reproduce documents for the results of the evaluation in the paper.