title: Z3: set starting values
body: <p>Can I ask Z3 to search from certain starting values to satisfy the constraints ?</p>
  
  <p>Say, If I have two <code>RealExprs</code> <code>x</code> and <code>y</code>, and I have <code>x==y</code> as the constraint.
  Can I ask Z3 to search from <code>x=-9999, y=-9997</code> such that Z3 might return to me a model with <code>x=-9998 and y=-9998</code> and say "SAT" ?</p>