def AddOptions(vars): Package.AddOptions(vars, 'PETSc')
def AddOptions(vars): Package.AddOptions(vars, 'METIS')
def AddOptions(vars): Package.AddOptions(vars, 'KLEE')
def AddOptions(vars): Package.AddOptions(vars, 'UTBot')