solver

Enum Z3Solver.SatResult