SMTLib2.Core

tBool

true

false

not

(==>)

and

or

xor

(===)

(=/=)

ite