title: Is there any way to get the coefficient values from an SMT expression?
body: <p>I would like to know if there is some SMT command to get the coefficient values associated to an expression as the following</p>
  
  <pre><code>(assert (&gt;= (+ x (* (/ -1 2) y)) 0.0))
  </code></pre>
  
  <p>So getting the values 1 and -0.5.</p>
  
  <p>Thank you for any hint.</p>