Могу ли я получить несколько моделей для запроса, подобного следующему? (set-logic LIA) (set-option :produce-models true) (declare-const x Int) (assert (< x 20)) (check-sat) (get-model) Вместо того, чтобы просто sat ( (define-fun x ()...