Я пытаюсь работать с системой, которая имеет несколько сотен логических литералов со связями между...

Файл показан ниже.Мне нужно прочитать их и сохранить их в структуре данных (может быть список...

Итак, у меня есть cnf и два списка переменных K и C. Переменные K добавляются в cnf как единичные...