Documentation

data SpecConstant Source

data Sexpr Source

data Identifier Source

data Sort Source

data AttrValue Source

data Attribute Source

data QualIdentifier Source

data VarBinding Source

data SortedVar Source

data Term Source

data GenResponse Source

data ErrorBehavior Source

data ReasonUnknown Source

data CheckSatResponse Source

type GetInfoResponse = [InfoResponse]Source

data InfoResponse Source

type GetAssertionsResponse = [Term]Source

type GetProofResponse = SexprSource

type GetUnsatCoreResponse = [String]Source

data ValuationPair Source

type GetValueResponse = [ValuationPair]Source

data TValuationPair Source

type GetAssignmentResponse = [TValuationPair]Source

type GetOptionResponse = AttrValueSource

data CmdResponse Source