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

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

Ersatz.Solution

Description

 

Documentation

type Solver s m = s -> m (Result, IntMap Bool)Source