simple-smt-0.9.7: A simple way to interact with an SMT solver process.

Index

abs | SimpleSMT
ackCommand | SimpleSMT
add | SimpleSMT
addMany | SimpleSMT
and | SimpleSMT
andMany | SimpleSMT
app | SimpleSMT
as | SimpleSMT
assert | SimpleSMT
Atom | SimpleSMT
Bits | SimpleSMT
Bool | SimpleSMT
bool | SimpleSMT
bvAdd | SimpleSMT
bvAnd | SimpleSMT
bvAShr | SimpleSMT
bvBin | SimpleSMT
bvHex | SimpleSMT
bvLShr | SimpleSMT
bvMul | SimpleSMT
bvNeg | SimpleSMT
bvNot | SimpleSMT
bvOr | SimpleSMT
bvSDiv | SimpleSMT
bvShl | SimpleSMT
bvSLeq | SimpleSMT
bvSLt | SimpleSMT
bvSRem | SimpleSMT
bvSub | SimpleSMT
bvUDiv | SimpleSMT
bvULeq | SimpleSMT
bvULt | SimpleSMT
bvURem | SimpleSMT
bvXOr | SimpleSMT
check | SimpleSMT
command | SimpleSMT
concat | SimpleSMT
const | SimpleSMT
declare | SimpleSMT
declareDatatype | SimpleSMT
declareFun | SimpleSMT
define | SimpleSMT
defineFun | SimpleSMT
defineFunRec | SimpleSMT
defineFunsRec | SimpleSMT
distinct | SimpleSMT
div | SimpleSMT
divisible | SimpleSMT
eq | SimpleSMT
extract | SimpleSMT
fam | SimpleSMT
fun | SimpleSMT
geq | SimpleSMT
getConst | SimpleSMT
getConsts | SimpleSMT
getExpr | SimpleSMT
getExprs | SimpleSMT
getUnsatCore | SimpleSMT
gt | SimpleSMT
implies | SimpleSMT
inNewScope | SimpleSMT
Int | SimpleSMT
int | SimpleSMT
ite | SimpleSMT
keyword | SimpleSMT
leq | SimpleSMT
List | SimpleSMT
loadFile | SimpleSMT
loadString | SimpleSMT
Logger |
1 (Type/Class) | SimpleSMT
2 (Data Constructor) | SimpleSMT
logIndented | SimpleSMT
logLevel | SimpleSMT
logMessage | SimpleSMT
logMessageAt | SimpleSMT
logSetLevel | SimpleSMT
logTab | SimpleSMT
logUntab | SimpleSMT
lt | SimpleSMT
mod | SimpleSMT
mul | SimpleSMT
named | SimpleSMT
neg | SimpleSMT
newLogger | SimpleSMT
newSolver | SimpleSMT
newSolverNotify | SimpleSMT
not | SimpleSMT
or | SimpleSMT
orMany | SimpleSMT
Other | SimpleSMT
pop | SimpleSMT
popMany | SimpleSMT
ppSExpr | SimpleSMT
produceUnsatCores | SimpleSMT
push | SimpleSMT
pushMany | SimpleSMT
quoteSymbol | SimpleSMT
readSExpr | SimpleSMT
Real | SimpleSMT
real | SimpleSMT
realDiv | SimpleSMT
Result | SimpleSMT
Sat | SimpleSMT
select | SimpleSMT
setLogic | SimpleSMT
setLogicMaybe | SimpleSMT
setOption | SimpleSMT
setOptionMaybe | SimpleSMT
SExpr | SimpleSMT
sexprToVal | SimpleSMT
showsSExpr | SimpleSMT
signExtend | SimpleSMT
simpleCommand | SimpleSMT
simpleCommandMaybe | SimpleSMT
Solver |
1 (Type/Class) | SimpleSMT
2 (Data Constructor) | SimpleSMT
stop | SimpleSMT
store | SimpleSMT
sub | SimpleSMT
symbol | SimpleSMT
tArray | SimpleSMT
tBits | SimpleSMT
tBool | SimpleSMT
tInt | SimpleSMT
toInt | SimpleSMT
toReal | SimpleSMT
tReal | SimpleSMT
Unknown | SimpleSMT
Unsat | SimpleSMT
Value | SimpleSMT
value | SimpleSMT
withLogLevel | SimpleSMT
xor | SimpleSMT
zeroExtend | SimpleSMT