Вопросы по теме '2-satisfiability'
Как решить экземпляр 2-SAT с 60 булевыми переменными и 99 предложениями с помощью Z3Py
Я использую следующий код:
X = BoolVector('x', 60)
M = [[21, 34],[-49, -12],[7, 18],
[-5, -1],[28, 17],
[3, 55],[36, 33],
[-6, -50],[44, -41],
[-55, 3],[14, -54],[-30, 13],
[-13, 60],[54, -16],[-48, 41],
[3, 6],[49,...
286 просмотров
schedule
18.08.2022