51ÉçÇø

Answer set programming (ASP) is a declarative programming paradigm that is geared towards difficult combinatorial search problems. Sometimes, run times of ASP systems suffer due to so called grounding bottleneck. Lazy grounding solvers aim to mitigate this issue. DualGroudner is a lazy grounding solver. The DualGrounder system leverages multi-shot capabilities of the advanced ASP platform version 5.

DualGrounder is available on GitHub

Theoretical and practical groundings for DualGrounder can be found in:

• Justin Robbins and Yuliya Lierler. DualGrounder: . Technical Report, 2020. Benchmarks discussed in this paper are posted on .

Comments, questions, and/or bugs can be reported to Justin Robbins and Yuliya Lierler