Получение модели меньшего размера для формулы SMT
Позвольте сказать, что у меня есть некоторые формулы, которые можно сидеть, но я хочу получить меньшее (или большее) возможное значение, чтобы сидеть эта формула. Есть ли способ сказать решателю SMT д