petablox/popl2020-artifact

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

语言：C++ · GitHub 星标：19 · Fork：2

在 GitHub 上查看原仓库