Hsmtlib.Solvers.Cmd.ScriptCmd
data ScriptConf
writeToScript
scriptFun
scriptFunExec
scriptGenResponse
scriptCheckSatResponse
scriptGetValueResponse
scriptSetLogic
scriptSetOption
scriptSetInfo
scriptDeclareType
scriptDefineType
scriptDeclareFun
scriptDefineFun
scriptPush
scriptPop
scriptAssert
scriptCheckSat
scriptGetAssertions
scriptGetValue
scriptGetProof
scriptGetUnsatCore
scriptGetInfo
scriptGetOption
scriptExit