Hsmtlib.Solvers.Cmd.OnlineCmd
onlineFun
onlineGenResponse
onlineCheckSatResponse
onlineGetValueResponse
onlineSetLogic
onlineSetOption
onlineSetInfo
onlineDeclareType
onlineDefineType
onlineDeclareFun
onlineDefineFun
onlinePush
onlinePop
onlineAssert
onlineCheckSat
onlineGetAssertions
onlineGetValue
onlineGetProof
onlineGetUnsatCore
onlineGetInfo
onlineGetOption
onlineExit