Artifact package accompanying our POPL 2020 submission titled Provenance-Guided Synthesis of Datalog Programs.
Home Page:https://github.com/petablox/prosynth
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool