Supports grounding-based solver.