Я работаю над проблемой сочетания нескольких целей лексикографически. Первая цель - это цель MaxSMT. Можно ли как-нибудь извлечь все возможные назначения после первой оптимизации MaxSMT?
Спасибо