parameters: (self, s)
docstring: Parse assertions and objectives from a string
docstring_summary: Parse assertions and objectives from a string
docstring_tokens: Parse assertions and objectives from a string
function: def from_string(self, s):
          """Parse assertions and objectives from a string"""
          Z3_optimize_from_string(self.ctx.ref(), self.optimize, s)
function_tokens: def from_string ( self , s ) : Z3_optimize_from_string ( self . ctx . ref ( ) , self . optimize , s )