gistfile1.txt

(set-logic ALL)
(declare-fun v1 () Int)
(declare-fun v2 () Int)
(declare-fun v3 () Int)

(assert (distinct v1 v2))
(assert (>= 10 v1  0))
(assert (>= 10 v2  0))
(assert (>= 10 v3  0))

(declare-fun empty () (Array Int Bool))
(define-fun set () (Array Int Bool) (store (store (store empty v1 true) v2 true) v3 true))

(declare-fun cost () Int)
(assert (set-has-size set cost))
(minimize cost)

(check-sat)
(get-model)