Module Dimacs.Types

This module defines the data type to represent Boolean formulas together with some auxiliary operations.

Author: Michael Hanus, Sven Hueser

Version: July 2021

Summary of exported operations:

maxVar :: Boolean -> Int  Deterministic 
Returns the maximal variable index in a Boolean formula.

Exported datatypes:

Boolean

The type of Boolean formulas. Not that variables should be numbered from 1.

Constructors:

Exported operations:

maxVar :: Boolean -> Int  Deterministic 

Returns the maximal variable index in a Boolean formula.