atoms2vars :: [Atom] -> [SPVar]
-- returns a list of Solver-variables
atoms2vars as = [ ALit a | a <- as ]
atoms2vars :: [Atom] -> [SPVar]
atoms2vars as = [ ALit a | a <- as ]
atoms2vars as = [ ALit a | a <- as ]