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