Hello,<br><br>  I don&#39;t know if this is the right place to ask this question, but what is the best way of using an SMT solver with an OCaml interface on Linux?<br><br>  After a brief search it seems that Z3 is the most popular solver with an OCaml interface, but unfortunately it only supports Windows.<br>
<br>Thanks,<br>Jean<br clear="all"><br>-- <br>Jean Yang<br><a href="http://web.mit.edu/jeanyang/www/">http://web.mit.edu/jeanyang/www/</a><br>Save us!  Think before you print.<br>*^^`<br>