Ajout d'une enumération dans abstract solver pour représenter les heuristique