Converting First order logic to CNF

Question

Is there a existing implementation in C/c++/java to convert first order logic to CNF ?

Answer 1

It might be more efficient to use something like: Boolean Normal Form

For implementation, I recommend doing it yourself for something simple like this. An efficient method has psuedo code + explanation here