This is the API documentation for z3-0.0.20230311 Documentation.