1.) install Boost version > 1.43

http://www.boost.org/	  

2.) install GiNaC

http://www.ginac.de/

3.) install CVC3 version 2.2

http://cs.nyu.edu/acsys/cvc3/

4.) install LuaJIT

http://luajit.org/

5.) move to "param/param" 

adapt the Makefile according to your system configuration. Then type

make

Much luck.

If you can't get it to work, please write to Moritz Hahn, emh@cs.uni-sb.de
