{-# OPTIONS_GHC -F -pgmF hspec-discover #-}
-- main :: IO ()
-- main = putStrLn "Test suite not yet implemented"

--import SAT.Mios
--main :: IO ()
--main = do
--  print =<< solveSAT (CNFDescription 4 5 "") [[1,2,-3], [-1, -4], [2,4], [1,-3,4], [-3,4]]