parameters: (self, *args)
docstring: Assert constraints as background axioms for the optimize solver. Alias for assert_expr.
docstring_summary: Assert constraints as background axioms for the optimize solver. Alias for assert_expr.
docstring_tokens: Assert constraints as background axioms for the optimize solver . Alias for assert_expr .
function: def add(self, *args):
          """Assert constraints as background axioms for the optimize solver. Alias for assert_expr."""
          self.assert_exprs(*args)
function_tokens: def add ( self , * args ) : self . assert_exprs ( * args )