Software Open Access

From SMT to ASP: Solver-Based Approaches to Solving Datalog Synthesis-as-Rule-Selection Problems (POPL 2023 Artifact)

Bembenek, Aaron; Greenberg, Michael; Chong, Stephen

This is the artifact corresponding to the paper "From SMT to ASP: Solver-Based Approaches to Solving Datalog Synthesis-as-Rule-Selection Problems" by Aaron Bembenek, Michael Greenberg, and Stephen Chong, which has been conditionally accepted at POPL 2023. Please check for the newest version of the artifact.

Files (5.1 GB)
Name Size
datalog-synth-smt-asp-artifact.tar.gz
md5:c16dde6283996d98b4a74683a117ecd6
5.1 GB Download
LICENSE.txt
md5:bb49bfa09ad9d2ea13878aa1eccb5c14
1.1 kB Download
README.md
md5:77402770ac03cfd06586c31e90747bbc
11.6 kB Download
64
14
views
downloads
All versions This version
Views 6464
Downloads 1414
Data volume 56.2 GB56.2 GB
Unique views 6161
Unique downloads 1313

Share

Cite as