PAKCS
Exported names: Imported modules:

Module Dimacs.Pretty

This module defines operations to show Boolean formulas in DIMACS format.

Author: Michael Hanus, Sven Hueser

Version: September 2017

Summary of exported operations:

showDimacs :: Boolean -> String   
Shows a Boolean formula in DIMACS format.
prettyDimacs :: Int -> Boolean -> String   
Pretty print a Boolean formula (second argument) with a given number of variables (first argument) in DIMACS format.
prettySolution :: Boolean -> String   
Pretty print a solution of a Boolean formula.

Exported operations:

showDimacs :: Boolean -> String   

Shows a Boolean formula in DIMACS format.

prettyDimacs :: Int -> Boolean -> String   

Pretty print a Boolean formula (second argument) with a given number of variables (first argument) in DIMACS format.

prettySolution :: Boolean -> String   

Pretty print a solution of a Boolean formula.