Package for processing partially ordered sets (posets)