• Home
• Schedule
• Homework
• Resources
• Style guide
• Syllabus

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

See Sat.lhs

This problem gives you more experience with quickcheck. You might want to review the QuickCheck lecture notes before you begin.

Problem - AVL trees

See AVL.lhs

This problem is based on balanced binary search trees. You might want to review the RedBlack lecture notes before you begin.

> module Main where
> import qualified Sat
> import qualified AVL
> -- obligatory main
> main :: IO ()
> main = do putStrLn "This is Sat"
>           Sat.main
>           putStrLn "This is AVL"
>           AVL.main