This is a fork of the pellet4topbraid project hosted on http://code.google.com/p/pellet4topbraid/