We would like to use ASP to find an n {\displaystyle n} -coloring of a given graph (or determine that it does not exist).
Ми хотіли б використовувати ASP щоб знайти n {\displaystyle n} -кольорів даного графа (або визначити, що його не існує).