Solver for ASP programs with one incremental variable, based on Gringo.