HW 4 - Quickcheck

This homework assignment is composed of two problems.

Make all of your edits in the files Sat.hs and AVL.hs.

Problem - A SAT solver

Problem - AVL trees

> -- obligatory main
> main :: IO ()
> main = do putStrLn "This is HW #4"
>           return ()