DNF to CNF

24 views
Skip to first unread message

John Pullokkaran

unread,
Aug 29, 2014, 2:20:21 PM8/29/14
to opti...@googlegroups.com
Is there a utility in Optiq that can convert DNF to CNF?

Thanks
John

CONFIDENTIALITY NOTICE
NOTICE: This message is intended for the use of the individual or entity to which it is addressed and may contain information that is confidential, privileged and exempt from disclosure under applicable law. If the reader of this message is not the intended recipient, you are hereby notified that any printing, copying, dissemination, distribution, disclosure or forwarding of this communication is strictly prohibited. If you have received this communication in error, please contact the sender immediately and delete it from your system. Thank You.
Reply all
Reply to author
Forward
0 new messages