Hi,
I would really like to work for this project. I am a CS student too and I have done projects similiar to this. I hope we can work with you.
Thanks in advance.
Ugur Bor
Hi! I have a script to convert to CNF made for the university an year ago. I can give you some screenshots. Give me the text file to see how will it be sent to converting.