Fredman和Khachiyan联合生成算法的实现,用于计算DNF中的双对单调布尔表达式(超图横切,多面锥的极射线...)。 用户可替换的oracle。