I am able to install all the tools. I faced problems while installing Zchaff, ABC and VIS. VIS installation is little bit difficult. I am sharing my experiences. My gcc version is gcc version 4.8.1 1. Zchaff: I was getting compilation errors. These errors were caused because of not including specfic header files like , in some source files. After including the header files, I am able to install Zchaff. 2. ABC: I got the error readline/readline.h no such file or directory. After installing libreadline-dev with command sudo apt-get install libreadline-dev (My Operating system is ubuntu), I am able to compile ABC. 3. VIS: I installed the following additional 3 packages which helps in compiling VIS fatal error: util.h: No such file or directory (these files are not present. for getting these header files we have to install glu) Link for installing glu: http://vlsi.colorado.edu/~vis/Readme/README.glu Has to install the following two packages. * GNU Flex version 2.5 or greater * GNU Bison version 1.22 or greater