Published April 21, 2026 | Version v9
Dataset Open

SharpASP Artifact

Authors/Creators

  • 1. ROR icon National University of Singapore
  • 2. indian institute of technology bombay
  • 3. ROR icon Georgia Institute of Technology

Description

The artifact (the code, binaries, benchmark, logfiles, etc) of Exact ASP Counting with Compact Encodings

Files

README.md

Files (88.3 MB)

Name Size Download all
md5:4c6b2b0a48b37f8a49d8df0f17c48197
88.3 MB Preview Download
md5:a034f6e7ca884d015d046ea7a22b5921
5.8 kB Preview Download

Additional details

Software

Repository URL
https://github.com/meelgroup/sharpASP
Programming language
Python , C++