Hi all, My wife is a C++ program doing some manipulations of logic expressions and she needs a routine that transforms general logic expressions into conjunctive normal form.
Of course it's not hard to code but I figure someone has probably already written some nice code that does this, so maybe I can just use something already existing... Anyone know of any code like this out there? Java code would also probably work since gcc can import Java and use it just like C++ Thanks Ben ------- To unsubscribe, change your address, or temporarily deactivate your subscription, please go to http://v2.listbox.com/member/[EMAIL PROTECTED]
