Efficiently Coupling the I-DLV Grounder with ASP Solvers

Francesco Calimeri, Carmine Dodaro, Davide Fuscà +2

We present I-DLV+MS , a new Answer Set Programming (ASP) system that integrates an efficient grounder, namely I-DLV, with an automatic selector that inductively chooses a solver: d…