solver
Classes
SmtVariablePrefixes
Z3Context
Z3Solver
Enums
Z3Solver.SatResult