Making Formulog Fast: An Argument for Unconventional Datalog Evaluation (OOPSLA'24 Artifact)

Welcome to the artifact for the paper "Making Formulog Fast: An Argument for Unconventional Datalog Evaluation" (OOPSLA'24) by Aaron Bembenek, Michael Greenberg, and Stephen Chong. This artifact was reviewed by the OOPSLA'24 Artifact Evaluation Committee. The artifact includes: our extensions to Formulog and Soufflé; benchmarks and experimental infrastructure; the data from our experiments and our data analysis scripts; and documentation on how to build on top of our software. To use the artifact, download the archive, extract it, and follow the instructions in the README. If you just want to run Formulog, you can get Formulog directly from the GitHub repo.