Answer Set Programming — Variantes de solving
Cet article est une quête annexe du tuto général pour ASP, s'intéressant aux variantes d'utilisation du solver, des approches alternatives utiles pour certaines tâches.
Comme pour les propagateurs, cet aspect d'ASP est dirigé par l'interface avec les langages python et lua. C'est le premier qui est utilisé ici.