Prerequisite: We need the ABC tool (http://www.eecs.berkeley.edu/~alanmi/abc/)

1) Set the environmental variable SS as the present working directory (use pwd for this): for example,
if the present working directory is /home/ajith/fmcad_2015_experiments/src, 

export SS=/home/ajith/fmcad_2015_experiments/src	

2) Do "make clean" followed by "make" in the folders 
Common, ConfigurationOptions, DAGManager, ExpressionManager, HashTableManager, LogManager, 
QEliminationManager, SkolemGenerationManager, and TestQEProject

(Note: ABC's path should be set inside makefiles of SkolemGenerationManager and TestQEProject)

3) This creates ExpressionManger-Based-SkolemFunctionGenerator binary in the folder TestQEProject