3 ms·Incremental automatic grounding to SAT works fine for ASP.by maweki 11mo agoIncremental automatic grounding to SAT works fine for ASP.