smtLib-1.0.9: A library for working with the SMTLIB format.

Safe HaskellSafe
LanguageHaskell98

SMTLib1.QF_BV

Synopsis

Documentation

bit0 :: Term #

BitVec[1]

bit1 :: Term #

BitVec[1]

concat :: Term -> Term -> Term #

m
-> [n] -> [m+n]

bvand :: Term -> Term -> Term #

bvor :: Term -> Term -> Term #

bvadd :: Term -> Term -> Term #

bvmul :: Term -> Term -> Term #

bvudiv :: Term -> Term -> Term #

bvurem :: Term -> Term -> Term #

bvshl :: Term -> Term -> Term #

bvlshr :: Term -> Term -> Term #

bvnand :: Term -> Term -> Term #

bvnor :: Term -> Term -> Term #

bvxor :: Term -> Term -> Term #

bvxnor :: Term -> Term -> Term #

bvcomp :: Term -> Term -> Term #

bvsub :: Term -> Term -> Term #

bvsdiv :: Term -> Term -> Term #

bvsrem :: Term -> Term -> Term #

bvsmod :: Term -> Term -> Term #

bvashr :: Term -> Term -> Term #