Language.Dung.Output

CEGARTIX/PrefSat output

argToCegartix

atkToCegartix

toCegartix

argToStrictCegartix

atkToStrictCegartix

toStrictCegartix