number of distinct characteristic polynomial of posets. (Used for quantum algorithm)
Primary LanguagePython