Module Dimacs.Parser

This module defines a simple parser for the output of a DIMACS solver.

Author: Sven Hueser

Version: July 2021

Summary of exported operations:

parse
                  ::  String -> Either String [Boolean]

parseDimacs
                  ::  [Token] -> Either String ([Token],[Boolean])

parseVar
                  ::  [Token] -> Either String ([Token],Boolean)

parse :: String -> Either String [Boolean]

parseDimacs :: [Token] -> Either String ([Token],[Boolean])

parseVar :: [Token] -> Either String ([Token],Boolean)