mios-1.5.4: MultiConflict/utils/dump2csv.hs

-- | Usage:
-- > mios --dump ... | mios-dump2csv > a.csv
module Main where

import SAT.Mios.Util.Stat

main :: IO ()
main = do
  putStrLn $ fst (header :: (String, MiosDump))
  mapM_ (putStrLn . toCSV) =<< parseBy [("", fromDump)] <$> getContents