/src/aig/cec/
../
cecSat.c