Before running the programs,
you need to put *.jar files somewhere and 
update your CLASSPATH variable accordingly.

bullet.java program uses output file, generated by CLIMMER.

For the documentation,
contact the authors: Andrei Zinovyev zinovyev@ihes.fr