a tool for generating hasse diagrams of arbitrary partial orders