枚举
SolutionStatus(value)
SolutionStatus
用于解释终止结果的枚举。
TerminationCondition(value)
TerminationCondition
一个枚举,枚举了求解器调用所有可能的退出状态。
Classes
Results([description, doc, implicit, ...])
Results
所有求解器结果的基类