smtLib-1.0.5: A library for working with the SMTLIB format.
SMTLib1.QF_AUFBV
Synopsis
tArray :: Integer -> Integer -> SortSource
'tArray i n' is an array indexed by bitvectors of widht i, and storing bitvectors of width n.
i
n
select :: Term -> Term -> TermSource
select array index
store :: Term -> Term -> Term -> TermSource
store array index value