Based on STP version 2.3.3.

This modified version adds the function
vc_printQueryStateAsCNFToBuffer to the c interface.
This function returns a Buffer containing a C-String with
the CNF Representation of the current QeryState