<div dir="ltr"><br><div class="gmail_extra"><br><br><div class="gmail_quote">On Thu, Aug 14, 2014 at 4:09 AM, Daniel Berlin <span dir="ltr"><<a href="mailto:dberlin@dberlin.org" target="_blank">dberlin@dberlin.org</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">Even if you can't implement such an algorithm sanely, ISTM that<br>

auto-generating this code from a table (or whatever), and choosing<br>
canonical results (to avoid a fixpoint issue), rather than what seems<br>
to be hand-additions of every possible set of minimizations on three<br>
variables, is still a better solution, no?<br>
<br>
At least then you wouldn't have human errors, and a growing file that<br>
makes any of the non-trivial transforms easy to miss in the noise.<br>
<div class=""><div class="h5"><br></div></div></blockquote><div><br></div><div>That's what exactly i thought, basically to have auto generating minimized expression,</div><div>instead of hand writing code for every pattern.<br>
<br>Few links i found -</div><div><br></div><div><a href="http://sontrak.com/">http://sontrak.com/</a></div><div><br></div><div><a href="http://sourceforge.net/projects/truthtablesolve/">http://sourceforge.net/projects/truthtablesolve/</a></div>
<div><br></div><div>This might take much more time to implement, my <span style="font-family:arial,sans-serif;font-size:12.727272033691406px">immediate</span><span style="font-family:arial,sans-serif;font-size:12.727272033691406px"> goal is to improve matching capabilities.</span></div>
<div><span style="font-family:arial,sans-serif;font-size:12.727272033691406px"><br></span></div><div><span style="font-family:arial,sans-serif;font-size:12.727272033691406px">Regards,</span></div><div><span style="font-family:arial,sans-serif;font-size:12.727272033691406px">Suyog</span></div>
<div><br></div></div>
</div></div>