parameters: (self)
return_statement: return Z3_optimize_get_reason_unknown(self.ctx.ref(), self.optimize)
docstring: Return a string that describes why the last `check()` returned `unknown`.
docstring_summary: Return a string that describes why the last `check()` returned `unknown`.
docstring_tokens: Return a string that describes why the last check () returned unknown .
function: def reason_unknown(self):
          """Return a string that describes why the last `check()` returned `unknown`."""
          return Z3_optimize_get_reason_unknown(self.ctx.ref(), self.optimize)
function_tokens: def reason_unknown ( self ) : return Z3_optimize_get_reason_unknown ( self . ctx . ref ( ) , self . optimize )