ex_a.smt 84 Bytes
Newer Older
Nikolai Käfer's avatar
Nikolai Käfer committed
1
2
3
4
(declare-fun p_A1_nA2_B () Real)
(declare-fun p_A1_B () Real)

(assert (= p_A1_B 1))