cf2cs v.2.1 for CLG by Hector Palacios, Alexandre Albore and Hector Geffner

Compile first zChaff
then nnf
then cf2cs

Version modified for g++ (Ubuntu 4.4.1-4ubuntu8) 4.4.1

A. Albore 2011
