#theorem-proving
#доказательство теоремы
Вопрос:
Я новичок в Провер9 и не могу понять, как извлечь более одного ответа.
Вот мой код:
assign(max_proofs, 1000).
formulas(sos).
p(a).
p(b).
p(c).
-q(y) #answer(y).
end_of_list.
Я хотел бы получить 3 ответа (x = a, x = b, x = c), но я получаю только один.
Как мне это сделать?
Спасибо за вашу помощь!