The binary file "TCL" should work on ubuntu 15.04.

To build the code in Ubuntu 15.04, you have to install following packages first:
sudo apt-get install flex bison

for ubuntu 15.04
sudo apt-get install g++-5-multilib

for ubuntu 14.04
sudo apt-get install g++
sudo apt-get install g++-4.8-multilib

command to run:
./TCL model_file formula_file