There is a newer version of the record available.

Published April 18, 2025 | Version v5

Artifact of SharpASP-SR

  • 1. national university of singapore
  • 2. ROR icon Indian Institute of Technology Bombay
  • 3. EDMO icon Georgia Institute of Technology

Description

The zip file contains the dataset, related binaries, documentation, and experiment log files of a new answer set counter, SharpASP-SR

Files

README.md

Files (37.7 MB)

Name Size Download all
md5:5a4bee8404770f738609f0697d47b1cb
3.4 kB Preview Download
md5:2463ce6298d9dc9f5faf9e08f26264c8
37.7 MB Preview Download

Additional details

Software

Repository URL
https://github.com/meelgroup/SharpASP-SR
Programming language
C++