Module Dimacs.Pretty

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

Author: Michael Hanus, Sven Hueser

Version: July 2021

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.

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.

Pretty print a solution of a Boolean formula.