bodies2vars :: [[Literal]] -> [SPVar]
-- returns a list of Solver-variables
bodies2vars bs = [ BLit b | b <- bs ]
bodies2vars :: [[Literal]] -> [SPVar]
bodies2vars bs = [ BLit b | b <- bs ]
bodies2vars bs = [ BLit b | b <- bs ]