Z3_solver typedef

Z3_solver = Pointer<_Z3_solver>

Implementation

typedef Z3_solver = ffi.Pointer<_Z3_solver>;