/popl2020-artifact

Artifact package accompanying our POPL 2020 submission titled Provenance-Guided Synthesis of Datalog Programs.

Primary LanguageC++

Issues