Comment by maweki

Incremental automatic grounding to SAT works fine for ASP.