PAKCS
Exported names: Imported modules:

Module Dimacs.Parser

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

Author: Sven Hueser

Version: September 2017

Summary of exported operations:

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

Exported operations:

parse :: String -> Either String [Boolean]   

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

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