title: Macro to calculate maximum value
body: <p>I found the macro to calculate the maximum value in <code>Z3 Sat Solver</code>.</p>
  
  <pre><code>(define-fun max_integ ((x Int) (y Int)) Int 
      (ite (&lt; x y) y x)) 
  </code></pre>
  
  <p>How to program the same using C-API in <code>Z3 Sat Solver</code>?</p>
  
  <p>Thank You,</p>