############################################
# Copyright (c) 2012 Microsoft Corporation
#
# Z3 Python interface
#
# Author: Leonardo de Moura (leonardo)
############################################

Modules
		ctypes

Classes
		builtins.Exception(builtins.BaseException) Z3Exception ctypes.c_void_p(_ctypes._SimpleCData) ApplyResultObj Ast AstMapObj AstVectorObj Config Constructor ConstructorList ContextObj FixedpointObj FuncDecl FuncEntryObj FuncInterpObj GoalObj Literals Model ModelObj OptimizeObj ParamDescrs Params ParserContextObj Pattern ProbeObj RCFNumObj SimplifierObj SolverCallbackObj SolverObj Sort StatsObj Symbol TacticObj   class ApplyResultObj(ctypes.c_void_p)     ApplyResultObj(obj)       Method resolution order: ApplyResultObj ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData builtins.object Methods defined here: __init__(self, obj) Initialize self.  See help(type(self)) for accurate signature. from_param(obj) Convert a Python object into a function call parameter. Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __bool__(self, /) True if self else False __ctypes_from_outparam__(...) __repr__(self, /) Return repr(self). Static methods inherited from _ctypes._SimpleCData: __new__(*args, **kwargs) from _ctypes.PyCSimpleType Create and return a new object.  See help(type) for accurate signature. Data descriptors inherited from _ctypes._SimpleCData: value current value Methods inherited from _ctypes._CData: __hash__(self, /) Return hash(self). __reduce__(...) Helper for pickle. __setstate__(...)   class Ast(ctypes.c_void_p)     Ast(ast)       Method resolution order: Ast ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData builtins.object Methods defined here: __init__(self, ast) Initialize self.  See help(type(self)) for accurate signature. from_param(obj) Convert a Python object into a function call parameter. Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __bool__(self, /) True if self else False __ctypes_from_outparam__(...) __repr__(self, /) Return repr(self). Static methods inherited from _ctypes._SimpleCData: __new__(*args, **kwargs) from _ctypes.PyCSimpleType Create and return a new object.  See help(type) for accurate signature. Data descriptors inherited from _ctypes._SimpleCData: value current value Methods inherited from _ctypes._CData: __hash__(self, /) Return hash(self). __reduce__(...) Helper for pickle. __setstate__(...)   class AstMapObj(ctypes.c_void_p)     AstMapObj(ast_map)       Method resolution order: AstMapObj ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData builtins.object Methods defined here: __init__(self, ast_map) Initialize self.  See help(type(self)) for accurate signature. from_param(obj) Convert a Python object into a function call parameter. Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __bool__(self, /) True if self else False __ctypes_from_outparam__(...) __repr__(self, /) Return repr(self). Static methods inherited from _ctypes._SimpleCData: __new__(*args, **kwargs) from _ctypes.PyCSimpleType Create and return a new object.  See help(type) for accurate signature. Data descriptors inherited from _ctypes._SimpleCData: value current value Methods inherited from _ctypes._CData: __hash__(self, /) Return hash(self). __reduce__(...) Helper for pickle. __setstate__(...)   class AstVectorObj(ctypes.c_void_p)     AstVectorObj(vector)       Method resolution order: AstVectorObj ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData builtins.object Methods defined here: __init__(self, vector) Initialize self.  See help(type(self)) for accurate signature. from_param(obj) Convert a Python object into a function call parameter. Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __bool__(self, /) True if self else False __ctypes_from_outparam__(...) __repr__(self, /) Return repr(self). Static methods inherited from _ctypes._SimpleCData: __new__(*args, **kwargs) from _ctypes.PyCSimpleType Create and return a new object.  See help(type) for accurate signature. Data descriptors inherited from _ctypes._SimpleCData: value current value Methods inherited from _ctypes._CData: __hash__(self, /) Return hash(self). __reduce__(...) Helper for pickle. __setstate__(...)   class Config(ctypes.c_void_p)     Config(config)       Method resolution order: Config ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData builtins.object Methods defined here: __init__(self, config) Initialize self.  See help(type(self)) for accurate signature. from_param(obj) Convert a Python object into a function call parameter. Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __bool__(self, /) True if self else False __ctypes_from_outparam__(...) __repr__(self, /) Return repr(self). Static methods inherited from _ctypes._SimpleCData: __new__(*args, **kwargs) from _ctypes.PyCSimpleType Create and return a new object.  See help(type) for accurate signature. Data descriptors inherited from _ctypes._SimpleCData: value current value Methods inherited from _ctypes._CData: __hash__(self, /) Return hash(self). __reduce__(...) Helper for pickle. __setstate__(...)   class Constructor(ctypes.c_void_p)     Constructor(constructor)       Method resolution order: Constructor ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData builtins.object Methods defined here: __init__(self, constructor) Initialize self.  See help(type(self)) for accurate signature. from_param(obj) Convert a Python object into a function call parameter. Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __bool__(self, /) True if self else False __ctypes_from_outparam__(...) __repr__(self, /) Return repr(self). Static methods inherited from _ctypes._SimpleCData: __new__(*args, **kwargs) from _ctypes.PyCSimpleType Create and return a new object.  See help(type) for accurate signature. Data descriptors inherited from _ctypes._SimpleCData: value current value Methods inherited from _ctypes._CData: __hash__(self, /) Return hash(self). __reduce__(...) Helper for pickle. __setstate__(...)   class ConstructorList(ctypes.c_void_p)     ConstructorList(constructor_list)       Method resolution order: ConstructorList ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData builtins.object Methods defined here: __init__(self, constructor_list) Initialize self.  See help(type(self)) for accurate signature. from_param(obj) Convert a Python object into a function call parameter. Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __bool__(self, /) True if self else False __ctypes_from_outparam__(...) __repr__(self, /) Return repr(self). Static methods inherited from _ctypes._SimpleCData: __new__(*args, **kwargs) from _ctypes.PyCSimpleType Create and return a new object.  See help(type) for accurate signature. Data descriptors inherited from _ctypes._SimpleCData: value current value Methods inherited from _ctypes._CData: __hash__(self, /) Return hash(self). __reduce__(...) Helper for pickle. __setstate__(...)   class ContextObj(ctypes.c_void_p)     ContextObj(context)       Method resolution order: ContextObj ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData builtins.object Methods defined here: __init__(self, context) Initialize self.  See help(type(self)) for accurate signature. from_param(obj) Convert a Python object into a function call parameter. Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __bool__(self, /) True if self else False __ctypes_from_outparam__(...) __repr__(self, /) Return repr(self). Static methods inherited from _ctypes._SimpleCData: __new__(*args, **kwargs) from _ctypes.PyCSimpleType Create and return a new object.  See help(type) for accurate signature. Data descriptors inherited from _ctypes._SimpleCData: value current value Methods inherited from _ctypes._CData: __hash__(self, /) Return hash(self). __reduce__(...) Helper for pickle. __setstate__(...)   class FixedpointObj(ctypes.c_void_p)     FixedpointObj(fixedpoint)       Method resolution order: FixedpointObj ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData builtins.object Methods defined here: __init__(self, fixedpoint) Initialize self.  See help(type(self)) for accurate signature. from_param(obj) Convert a Python object into a function call parameter. Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __bool__(self, /) True if self else False __ctypes_from_outparam__(...) __repr__(self, /) Return repr(self). Static methods inherited from _ctypes._SimpleCData: __new__(*args, **kwargs) from _ctypes.PyCSimpleType Create and return a new object.  See help(type) for accurate signature. Data descriptors inherited from _ctypes._SimpleCData: value current value Methods inherited from _ctypes._CData: __hash__(self, /) Return hash(self). __reduce__(...) Helper for pickle. __setstate__(...)   class FuncDecl(ctypes.c_void_p)     FuncDecl(decl)       Method resolution order: FuncDecl ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData builtins.object Methods defined here: __init__(self, decl) Initialize self.  See help(type(self)) for accurate signature. from_param(obj) Convert a Python object into a function call parameter. Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __bool__(self, /) True if self else False __ctypes_from_outparam__(...) __repr__(self, /) Return repr(self). Static methods inherited from _ctypes._SimpleCData: __new__(*args, **kwargs) from _ctypes.PyCSimpleType Create and return a new object.  See help(type) for accurate signature. Data descriptors inherited from _ctypes._SimpleCData: value current value Methods inherited from _ctypes._CData: __hash__(self, /) Return hash(self). __reduce__(...) Helper for pickle. __setstate__(...)   class FuncEntryObj(ctypes.c_void_p)     FuncEntryObj(e)       Method resolution order: FuncEntryObj ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData builtins.object Methods defined here: __init__(self, e) Initialize self.  See help(type(self)) for accurate signature. from_param(obj) Convert a Python object into a function call parameter. Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __bool__(self, /) True if self else False __ctypes_from_outparam__(...) __repr__(self, /) Return repr(self). Static methods inherited from _ctypes._SimpleCData: __new__(*args, **kwargs) from _ctypes.PyCSimpleType Create and return a new object.  See help(type) for accurate signature. Data descriptors inherited from _ctypes._SimpleCData: value current value Methods inherited from _ctypes._CData: __hash__(self, /) Return hash(self). __reduce__(...) Helper for pickle. __setstate__(...)   class FuncInterpObj(ctypes.c_void_p)     FuncInterpObj(f)       Method resolution order: FuncInterpObj ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData builtins.object Methods defined here: __init__(self, f) Initialize self.  See help(type(self)) for accurate signature. from_param(obj) Convert a Python object into a function call parameter. Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __bool__(self, /) True if self else False __ctypes_from_outparam__(...) __repr__(self, /) Return repr(self). Static methods inherited from _ctypes._SimpleCData: __new__(*args, **kwargs) from _ctypes.PyCSimpleType Create and return a new object.  See help(type) for accurate signature. Data descriptors inherited from _ctypes._SimpleCData: value current value Methods inherited from _ctypes._CData: __hash__(self, /) Return hash(self). __reduce__(...) Helper for pickle. __setstate__(...)   class GoalObj(ctypes.c_void_p)     GoalObj(goal)       Method resolution order: GoalObj ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData builtins.object Methods defined here: __init__(self, goal) Initialize self.  See help(type(self)) for accurate signature. from_param(obj) Convert a Python object into a function call parameter. Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __bool__(self, /) True if self else False __ctypes_from_outparam__(...) __repr__(self, /) Return repr(self). Static methods inherited from _ctypes._SimpleCData: __new__(*args, **kwargs) from _ctypes.PyCSimpleType Create and return a new object.  See help(type) for accurate signature. Data descriptors inherited from _ctypes._SimpleCData: value current value Methods inherited from _ctypes._CData: __hash__(self, /) Return hash(self). __reduce__(...) Helper for pickle. __setstate__(...)   class Literals(ctypes.c_void_p)     Literals(literals)       Method resolution order: Literals ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData builtins.object Methods defined here: __init__(self, literals) Initialize self.  See help(type(self)) for accurate signature. from_param(obj) Convert a Python object into a function call parameter. Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __bool__(self, /) True if self else False __ctypes_from_outparam__(...) __repr__(self, /) Return repr(self). Static methods inherited from _ctypes._SimpleCData: __new__(*args, **kwargs) from _ctypes.PyCSimpleType Create and return a new object.  See help(type) for accurate signature. Data descriptors inherited from _ctypes._SimpleCData: value current value Methods inherited from _ctypes._CData: __hash__(self, /) Return hash(self). __reduce__(...) Helper for pickle. __setstate__(...)   class Model(ctypes.c_void_p)     Model(model)       Method resolution order: Model ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData builtins.object Methods defined here: __init__(self, model) Initialize self.  See help(type(self)) for accurate signature. from_param(obj) Convert a Python object into a function call parameter. Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __bool__(self, /) True if self else False __ctypes_from_outparam__(...) __repr__(self, /) Return repr(self). Static methods inherited from _ctypes._SimpleCData: __new__(*args, **kwargs) from _ctypes.PyCSimpleType Create and return a new object.  See help(type) for accurate signature. Data descriptors inherited from _ctypes._SimpleCData: value current value Methods inherited from _ctypes._CData: __hash__(self, /) Return hash(self). __reduce__(...) Helper for pickle. __setstate__(...)   class ModelObj(ctypes.c_void_p)     ModelObj(model)       Method resolution order: ModelObj ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData builtins.object Methods defined here: __init__(self, model) Initialize self.  See help(type(self)) for accurate signature. from_param(obj) Convert a Python object into a function call parameter. Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __bool__(self, /) True if self else False __ctypes_from_outparam__(...) __repr__(self, /) Return repr(self). Static methods inherited from _ctypes._SimpleCData: __new__(*args, **kwargs) from _ctypes.PyCSimpleType Create and return a new object.  See help(type) for accurate signature. Data descriptors inherited from _ctypes._SimpleCData: value current value Methods inherited from _ctypes._CData: __hash__(self, /) Return hash(self). __reduce__(...) Helper for pickle. __setstate__(...)   class OptimizeObj(ctypes.c_void_p)     OptimizeObj(optimize)       Method resolution order: OptimizeObj ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData builtins.object Methods defined here: __init__(self, optimize) Initialize self.  See help(type(self)) for accurate signature. from_param(obj) Convert a Python object into a function call parameter. Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __bool__(self, /) True if self else False __ctypes_from_outparam__(...) __repr__(self, /) Return repr(self). Static methods inherited from _ctypes._SimpleCData: __new__(*args, **kwargs) from _ctypes.PyCSimpleType Create and return a new object.  See help(type) for accurate signature. Data descriptors inherited from _ctypes._SimpleCData: value current value Methods inherited from _ctypes._CData: __hash__(self, /) Return hash(self). __reduce__(...) Helper for pickle. __setstate__(...)   class ParamDescrs(ctypes.c_void_p)     ParamDescrs(paramdescrs)       Method resolution order: ParamDescrs ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData builtins.object Methods defined here: __init__(self, paramdescrs) Initialize self.  See help(type(self)) for accurate signature. from_param(obj) Convert a Python object into a function call parameter. Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __bool__(self, /) True if self else False __ctypes_from_outparam__(...) __repr__(self, /) Return repr(self). Static methods inherited from _ctypes._SimpleCData: __new__(*args, **kwargs) from _ctypes.PyCSimpleType Create and return a new object.  See help(type) for accurate signature. Data descriptors inherited from _ctypes._SimpleCData: value current value Methods inherited from _ctypes._CData: __hash__(self, /) Return hash(self). __reduce__(...) Helper for pickle. __setstate__(...)   class Params(ctypes.c_void_p)     Params(params)       Method resolution order: Params ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData builtins.object Methods defined here: __init__(self, params) Initialize self.  See help(type(self)) for accurate signature. from_param(obj) Convert a Python object into a function call parameter. Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __bool__(self, /) True if self else False __ctypes_from_outparam__(...) __repr__(self, /) Return repr(self). Static methods inherited from _ctypes._SimpleCData: __new__(*args, **kwargs) from _ctypes.PyCSimpleType Create and return a new object.  See help(type) for accurate signature. Data descriptors inherited from _ctypes._SimpleCData: value current value Methods inherited from _ctypes._CData: __hash__(self, /) Return hash(self). __reduce__(...) Helper for pickle. __setstate__(...)   class ParserContextObj(ctypes.c_void_p)     ParserContextObj(pc)       Method resolution order: ParserContextObj ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData builtins.object Methods defined here: __init__(self, pc) Initialize self.  See help(type(self)) for accurate signature. from_param(obj) Convert a Python object into a function call parameter. Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __bool__(self, /) True if self else False __ctypes_from_outparam__(...) __repr__(self, /) Return repr(self). Static methods inherited from _ctypes._SimpleCData: __new__(*args, **kwargs) from _ctypes.PyCSimpleType Create and return a new object.  See help(type) for accurate signature. Data descriptors inherited from _ctypes._SimpleCData: value current value Methods inherited from _ctypes._CData: __hash__(self, /) Return hash(self). __reduce__(...) Helper for pickle. __setstate__(...)   class Pattern(ctypes.c_void_p)     Pattern(pattern)       Method resolution order: Pattern ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData builtins.object Methods defined here: __init__(self, pattern) Initialize self.  See help(type(self)) for accurate signature. from_param(obj) Convert a Python object into a function call parameter. Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __bool__(self, /) True if self else False __ctypes_from_outparam__(...) __repr__(self, /) Return repr(self). Static methods inherited from _ctypes._SimpleCData: __new__(*args, **kwargs) from _ctypes.PyCSimpleType Create and return a new object.  See help(type) for accurate signature. Data descriptors inherited from _ctypes._SimpleCData: value current value Methods inherited from _ctypes._CData: __hash__(self, /) Return hash(self). __reduce__(...) Helper for pickle. __setstate__(...)   class ProbeObj(ctypes.c_void_p)     ProbeObj(probe)       Method resolution order: ProbeObj ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData builtins.object Methods defined here: __init__(self, probe) Initialize self.  See help(type(self)) for accurate signature. from_param(obj) Convert a Python object into a function call parameter. Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __bool__(self, /) True if self else False __ctypes_from_outparam__(...) __repr__(self, /) Return repr(self). Static methods inherited from _ctypes._SimpleCData: __new__(*args, **kwargs) from _ctypes.PyCSimpleType Create and return a new object.  See help(type) for accurate signature. Data descriptors inherited from _ctypes._SimpleCData: value current value Methods inherited from _ctypes._CData: __hash__(self, /) Return hash(self). __reduce__(...) Helper for pickle. __setstate__(...)   class RCFNumObj(ctypes.c_void_p)     RCFNumObj(e)       Method resolution order: RCFNumObj ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData builtins.object Methods defined here: __init__(self, e) Initialize self.  See help(type(self)) for accurate signature. from_param(obj) Convert a Python object into a function call parameter. Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __bool__(self, /) True if self else False __ctypes_from_outparam__(...) __repr__(self, /) Return repr(self). Static methods inherited from _ctypes._SimpleCData: __new__(*args, **kwargs) from _ctypes.PyCSimpleType Create and return a new object.  See help(type) for accurate signature. Data descriptors inherited from _ctypes._SimpleCData: value current value Methods inherited from _ctypes._CData: __hash__(self, /) Return hash(self). __reduce__(...) Helper for pickle. __setstate__(...)   class SimplifierObj(ctypes.c_void_p)     SimplifierObj(simplifier)       Method resolution order: SimplifierObj ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData builtins.object Methods defined here: __init__(self, simplifier) Initialize self.  See help(type(self)) for accurate signature. from_param(obj) Convert a Python object into a function call parameter. Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __bool__(self, /) True if self else False __ctypes_from_outparam__(...) __repr__(self, /) Return repr(self). Static methods inherited from _ctypes._SimpleCData: __new__(*args, **kwargs) from _ctypes.PyCSimpleType Create and return a new object.  See help(type) for accurate signature. Data descriptors inherited from _ctypes._SimpleCData: value current value Methods inherited from _ctypes._CData: __hash__(self, /) Return hash(self). __reduce__(...) Helper for pickle. __setstate__(...)   class SolverCallbackObj(ctypes.c_void_p)     SolverCallbackObj(solver)       Method resolution order: SolverCallbackObj ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData builtins.object Methods defined here: __init__(self, solver) Initialize self.  See help(type(self)) for accurate signature. from_param(obj) Convert a Python object into a function call parameter. Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __bool__(self, /) True if self else False __ctypes_from_outparam__(...) __repr__(self, /) Return repr(self). Static methods inherited from _ctypes._SimpleCData: __new__(*args, **kwargs) from _ctypes.PyCSimpleType Create and return a new object.  See help(type) for accurate signature. Data descriptors inherited from _ctypes._SimpleCData: value current value Methods inherited from _ctypes._CData: __hash__(self, /) Return hash(self). __reduce__(...) Helper for pickle. __setstate__(...)   class SolverObj(ctypes.c_void_p)     SolverObj(solver)       Method resolution order: SolverObj ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData builtins.object Methods defined here: __init__(self, solver) Initialize self.  See help(type(self)) for accurate signature. from_param(obj) Convert a Python object into a function call parameter. Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __bool__(self, /) True if self else False __ctypes_from_outparam__(...) __repr__(self, /) Return repr(self). Static methods inherited from _ctypes._SimpleCData: __new__(*args, **kwargs) from _ctypes.PyCSimpleType Create and return a new object.  See help(type) for accurate signature. Data descriptors inherited from _ctypes._SimpleCData: value current value Methods inherited from _ctypes._CData: __hash__(self, /) Return hash(self). __reduce__(...) Helper for pickle. __setstate__(...)   class Sort(ctypes.c_void_p)     Sort(sort)       Method resolution order: Sort ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData builtins.object Methods defined here: __init__(self, sort) Initialize self.  See help(type(self)) for accurate signature. from_param(obj) Convert a Python object into a function call parameter. Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __bool__(self, /) True if self else False __ctypes_from_outparam__(...) __repr__(self, /) Return repr(self). Static methods inherited from _ctypes._SimpleCData: __new__(*args, **kwargs) from _ctypes.PyCSimpleType Create and return a new object.  See help(type) for accurate signature. Data descriptors inherited from _ctypes._SimpleCData: value current value Methods inherited from _ctypes._CData: __hash__(self, /) Return hash(self). __reduce__(...) Helper for pickle. __setstate__(...)   class StatsObj(ctypes.c_void_p)     StatsObj(statistics)       Method resolution order: StatsObj ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData builtins.object Methods defined here: __init__(self, statistics) Initialize self.  See help(type(self)) for accurate signature. from_param(obj) Convert a Python object into a function call parameter. Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __bool__(self, /) True if self else False __ctypes_from_outparam__(...) __repr__(self, /) Return repr(self). Static methods inherited from _ctypes._SimpleCData: __new__(*args, **kwargs) from _ctypes.PyCSimpleType Create and return a new object.  See help(type) for accurate signature. Data descriptors inherited from _ctypes._SimpleCData: value current value Methods inherited from _ctypes._CData: __hash__(self, /) Return hash(self). __reduce__(...) Helper for pickle. __setstate__(...)   class Symbol(ctypes.c_void_p)     Symbol(symbol)       Method resolution order: Symbol ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData builtins.object Methods defined here: __init__(self, symbol) Initialize self.  See help(type(self)) for accurate signature. from_param(obj) Convert a Python object into a function call parameter. Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __bool__(self, /) True if self else False __ctypes_from_outparam__(...) __repr__(self, /) Return repr(self). Static methods inherited from _ctypes._SimpleCData: __new__(*args, **kwargs) from _ctypes.PyCSimpleType Create and return a new object.  See help(type) for accurate signature. Data descriptors inherited from _ctypes._SimpleCData: value current value Methods inherited from _ctypes._CData: __hash__(self, /) Return hash(self). __reduce__(...) Helper for pickle. __setstate__(...)   class TacticObj(ctypes.c_void_p)     TacticObj(tactic)       Method resolution order: TacticObj ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData builtins.object Methods defined here: __init__(self, tactic) Initialize self.  See help(type(self)) for accurate signature. from_param(obj) Convert a Python object into a function call parameter. Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __bool__(self, /) True if self else False __ctypes_from_outparam__(...) __repr__(self, /) Return repr(self). Static methods inherited from _ctypes._SimpleCData: __new__(*args, **kwargs) from _ctypes.PyCSimpleType Create and return a new object.  See help(type) for accurate signature. Data descriptors inherited from _ctypes._SimpleCData: value current value Methods inherited from _ctypes._CData: __hash__(self, /) Return hash(self). __reduce__(...) Helper for pickle. __setstate__(...)   class Z3Exception(builtins.Exception)     Z3Exception(value)       Method resolution order: Z3Exception builtins.Exception builtins.BaseException builtins.object Methods defined here: __init__(self, value) Initialize self.  See help(type(self)) for accurate signature. __str__(self) Return str(self). Data descriptors defined here: __weakref__ list of weak references to the object (if defined) Static methods inherited from builtins.Exception: __new__(*args, **kwargs) from builtins.type Create and return a new object.  See help(type) for accurate signature. Methods inherited from builtins.BaseException: __delattr__(self, name, /) Implement delattr(self, name). __getattribute__(self, name, /) Return getattr(self, name). __reduce__(...) Helper for pickle. __repr__(self, /) Return repr(self). __setattr__(self, name, value, /) Implement setattr(self, name, value). __setstate__(...) with_traceback(...) Exception.with_traceback(tb) -- set self.__traceback__ to tb and return self. Data descriptors inherited from builtins.BaseException: __cause__ exception cause __context__ exception context __dict__ __suppress_context__ __traceback__ args