<br><br><div class="gmail_quote">On Sat, Jun 23, 2012 at 10:58 PM, Tobias Pankrath <span dir="ltr"><<a href="mailto:tobias@pankrath.net" target="_blank">tobias@pankrath.net</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

I am currently writing a sat solver for educational purposes</blockquote></div><br><div>How mature is the sat solver yet? Do you plan to release it at some point of time?</div><div><br></div><div>Regards</div><div>- Puneet</div>

<div><br></div>