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

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

Ersatz.Variable

Description

 

Synopsis

Documentation

class Variable t whereSource

Instances for this class for product-like types can be automatically derived for any type that is an instance of Generic.

Methods

exists :: MonadSAT m => m tSource

forall :: MonadSAT m => m tSource

Instances