PAKCS
Exported names: Imported modules:

Module Dimacs.Scanner

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

Author: Sven Hueser

Version: September 2017

Summary of exported operations:

keywords :: [(String,Token)]   
keyword :: String -> Token   
scan :: String -> [Token]   
scanKeyword :: String -> [Token]   
scanNum :: String -> [Token]   

Exported datatypes:

Token

Constructors:

  • KW_sat :: Token
  • KW_unsat :: Token
  • VarNum :: Int -> Token
  • VarNot :: Token
  • EOF :: Token

Exported operations:

keywords :: [(String,Token)]   

Further infos:
  • solution complete, i.e., able to compute all solutions

keyword :: String -> Token   

scan :: String -> [Token]   

scanKeyword :: String -> [Token]   

scanNum :: String -> [Token]