module Exercise_10 where

import Data.List
import Data.List.Split
import Data.Ord
import Network

{-H10.1-}

ioLoop :: (a -> Maybe b) -> IO a -> IO b
ioLoop = undefined

getInteger :: IO Integer
getInteger = undefined


{-H10.2-}

readNameMap :: FilePath -> IO [(Integer, String)]
readNameMap p = undefined

submissionQuery :: [(Integer, String)] -> IO ()
submissionQuery m = undefined


{-H10.3-}

captcha :: IO Bool 
captcha = undefined


{-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-}