main = QTRSDependencyPairs:RepeatS(0,*,workOnDPs) workOnDPs = First( \ QDPDependencyGraph:Maybe(QDPNonSCC), \ QDPReductionPair[Order = POLO[Range = 1, Engine = MINISAT[Version=2]], Allstrict = False, Usable = True, Active = True, ATrans = False, MergeMutual = False] \ )