module Exercise_10wett where

{-H10.4-}

type Var = Int
type Literal = Int
type Clause = [Literal]
type Assignment = [Var]

{-WETT-}
vars :: [Clause] -> [Var]
vars clauses = undefined

isSatisfied :: Clause -> Assignment -> Bool
isSatisfied clause ass = undefined

countSatisfied :: [Clause] -> Assignment -> Int
countSatisfied clauses ass = undefined

maxSat :: [Clause] -> (Assignment, Int)
maxSat clauses = undefined
{-TTEW-}