怎么用c+＋求极大相容类啊

要要先判断二元关系是相容关系在求极大相容类用c+＋或是python都可以，有没有哪位专家指导一下，谢谢了