code: def _symbolic():
      import mystic.symbolic as ms
  
      eqn = """x0 - 2*x1 > 0
               x3 - 3*x2 < 0"""
      eqn = ms.simplify(eqn, target=["x1", "x3"])
      cons = ms.generate_constraint(ms.generate_solvers(eqn))
      return cons
  
imports: from mystic.constraints import *
label_desc: Use image node_id 1 for calling a global function with example usage: _symbolic() and returns: cons