An efficient solver for ASP(Q)