ersatz-0.1.0.2: A monad for expressing SAT or QSAT problems using observable sharing.

Portabilitynon-portable
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>
Safe HaskellNone

Ersatz.Problem

Contents

Description

 

Synopsis

Formulas

data Problem Source

A (quantified) boolean formula.

Instances

QDIMACS pretty printing

class QDIMACS t whereSource

(Q)DIMACS file format pretty printer

This is used to generate the problem statement for a given SAT Solver.

Methods

qdimacs :: t -> StringSource

Instances